Synthesis of Trigger Properties

DOI10.1007/978-3-642-17511-4_18MaRDI QIDQ3066106zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Moshe Y. Vardi

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Synthesis from hyperproperties
• Compositional parameter synthesis
• scientific article; zbMATH DE number 3926298
• scientific article; zbMATH DE number 1304045
• Dynamic Triggering Mechanisms for Event-Triggered Control
• Methods of synthesis of signals with prescribed properties
• scientific article; zbMATH DE number 3257823
• Specification and analysis of synchronous reactions

Cited in

(6)

• On relative and probabilistic finite counterability
• Compositional construction of most general controllers
• Shield synthesis: runtime enforcement for reactive systems
• An abstraction-refinement framework for trigger querying
• Incorporating monitors in reactive synthesis without paying the price
• Automated synthesis of secure platform mappings

This page was built for publication: Synthesis of Trigger Properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066106)