scientific article
From MaRDI portal
Publication:3086919
zbMath1222.68120MaRDI QIDQ3086919
Holger Hermanns, Boudewijn R. Haverkort, Joost-Pieter Katoen, Christel Baier
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuous-time Markov decision processesprobabilistic model checkingreward structuretime- and cost-bounded reachability
Markov and semi-Markov decision processes (90C40) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Cost vs. time in stochastic games and Markov automata ⋮ Quantitative controller synthesis for consumption Markov decision processes ⋮ State constrained reachability for stochastic hybrid systems
This page was built for publication:
