scientific article; zbMATH DE number 2038762

MaRDI QIDQ4449227zbMATH OpenFDO

Authors Ranjit Jhala, Rupak Majumdar, Thomas A. Henzinger

Publication date 8 February 2004

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
• scientific article; zbMATH DE number 1670775
• 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:

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