Counterexample-guided control

DOI10.1007/3-540-45061-0_69MaRDI QIDQ4449227zbMATH OpenFDO

Authors Ranjit Jhala, Rupak Majumdar, Thomas A. Henzinger

Publication date 8 February 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190886.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A counterexample-guided abstraction-refinement framework for Markov decision processes
• Counterexample-guided abstraction refinement
• Counterexamples revisited: principles, algorithms, applications
• Counterexample guided abstraction refinement for stability analysis
• Counterexample-guided abstraction refinement for symbolic model checking

Cited in

(14)

• Compositional abstraction refinement for control synthesis
• Strategy construction for parity games with imperfect information
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Counter-Example Guided Fence Insertion under TSO
• A counterexample-guided abstraction-refinement framework for Markov decision processes
• Lazy abstraction-based controller synthesis
• Strategy Construction for Parity Games with Imperfect Information
• A survey of stochastic -regular games
• Counterexample guided abstraction refinement for stability analysis
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Timed automata verification and synthesis via finite automata learning
• Timed automata verification and synthesis via finite automata learning
• CEGAR for compositional analysis of qualitative properties in Markov decision processes
• Solving games via three-valued abstraction refinement

This page was built for publication: Counterexample-guided control

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