Results 61 to 70 of about 1,711 (143)
The application of adaptive symmetry reduction for LTL model checking
Моделирование и анализ информационных систем, 2010 Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure. It helps to reduce the effect of state explosion when exploring reachable states of a system.
I. V. Konnov, V. A. Zakharov
doaj
Polymer Composites, Volume 46, Issue 16, Page 15125-15141, 10 November 2025.Development of 3D printing composite filaments from recycled polypropylene and agro‐industrial residues: blending, extrusion, and mechanical validation. ABSTRACT This study evaluates the combined roles of particle size and the addition of maleic anhydride polypropylene (PP‐g‐MAH) to improve 3D printing and mechanical properties of composite filaments ...
Maria A. Morales +6 more
wiley +1 more source
Revisiting Synthesis for One-Counter Automata
, 2021 We study the (parameter) synthesis problem for one-counter automata with parameters. One-counter automata are obtained by extending classical finite-state automata with a counter whose value can range over non-negative integers and be tested for zero ...
Pérez, Guillermo A., Raha, Ritam
core
Hierarchical planning with state abstractions for temporal task specifications. [PDF]
Auton Robots, 2022 Oh Y +6 more
europepmc +1 more source
starMC: an automata based CTL* model checker. [PDF]
PeerJ Comput Sci, 2022 Amparore EG, Donatelli S, Gallà F.
europepmc +1 more source
Forms of Determinism for Automata [PDF]
, 2012 International audienceWe survey in this paper some variants of the notion of determinism, refining the spectrum between non-determinism and determinism. We present unambiguous automata, strongly unambiguous automata, prophetic automata, guidable automata,
Colcombet, Thomas
core +3 more sources
Specification decomposition for reactive synthesis. [PDF]
Innov Syst Softw Eng, 2023 Finkbeiner B, Geier G, Passing N.
europepmc +1 more source
Automata-theoretic and bounded model checking for linear temporal logic [PDF]
, 2005 In this work we study methods for model checking the temporal logic LTL. The focus is on the automata-theoretic approach to model checking and bounded model checking. We begin by examining automata-theoretic methods to model check LTL safety properties.
Latvala, Timo
core
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. [PDF]
FME, 2021 Blahoudek F +5 more
europepmc +1 more source
Modelling and verification of reconfigurable multi-agent systems. [PDF]
Auton Agent Multi Agent Syst, 2021 Abd Alrahman Y, Piterman N.
europepmc +1 more source