Publication:4411831
From MaRDI portal
zbMath1021.03013MaRDI QIDQ4411831
Danièle Beauquier, Anatol Slissenko, Alexander Rabinovich
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710306.htm
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Approximate Verification of the Symbolic Dynamics of Markov Chains, The well-designed logical robot: learning and experience from observations to the Situation Calculus, When are stochastic transition systems tameable?, The complexity of synchronizing Markov decision processes, Bounds for synchronizing Markov decision processes, The probability nesting game, Exogenous Probabilistic Computation Tree Logic