scientific article; zbMATH DE number 2038762

zbMath1039.68555MaRDI QIDQ4449227

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (8)

Compositional abstraction refinement for control synthesis ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Strategy construction for parity games with imperfect information ⋮ Strategy Construction for Parity Games with Imperfect Information ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Solving games via three-valued abstraction refinement ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

This page was built for publication: