Synthesis of Trigger Properties
From MaRDI portal
Publication:3066106
DOI10.1007/978-3-642-17511-4_18zbMath1310.68143OpenAlexW1830436759MaRDI QIDQ3066106
Moshe Y. Vardi, Orna Kupferman
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_18
Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Incorporating monitors in reactive synthesis without paying the price ⋮ On relative and probabilistic finite counterability ⋮ Compositional construction of most general controllers
This page was built for publication: Synthesis of Trigger Properties
