Counterexample-guided synthesis of observation predicates

DOI10.1007/978-3-642-33365-1_9MaRDI QIDQ4649389zbMATH OpenOpenAlexFDO

Authors Rayna Dimitrova, Bernd Finkbeiner

Publication date 21 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://eprints.whiterose.ac.uk/156476/1/formats12.pdf

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Formal languages and automata (68Q45) Applications of game theory (91A80)

Recommendations

• Template-based controller synthesis for timed systems
• Controllers with minimal observation power (application to timed systems)
• The Complexity of Bounded Synthesis for Timed Control with Partial Observability
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• Timed control with partial observability.

Cited in

(4)

• How testing helps to diagnose proof failures
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• Counterexample-Guided Model Synthesis
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control

This page was built for publication: Counterexample-guided synthesis of observation predicates

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