Results 71 to 80 of about 1,711 (143)
From LTL to rLTL monitoring: improved monitorability through robust semantics. [PDF]
Form Methods Syst Des, 2021 Mascle C +5 more
europepmc +1 more source
Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]
Front Robot AI, 2021 Kuo YL, Katz B, Barbu A.
europepmc +1 more source
Compositional synthesis of modular systems. [PDF]
Innov Syst Softw Eng, 2022 Finkbeiner B, Passing N.
europepmc +1 more source
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. [PDF]
Sensors (Basel), 2022 Daszczuk WB.
europepmc +1 more source
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
, 2013 Étienne Renault +3 more
openalex +2 more sources
Is there a best büchi automaton for explicit model checking?
, 2014 František Blahoudek +3 more
openalex +2 more sources
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. [PDF]
Sensors (Basel), 2021 Daszczuk WB.
europepmc +1 more source
Synthesis from hyperproperties. [PDF]
Acta Inform, 2020 Finkbeiner B +4 more
europepmc +1 more source