Sciweavers

78
Voted
CONCUR
2007
Springer

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

15 years 19 days ago
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
Martin R. Neuhäußer, Joost-Pieter Katoe
Added 17 Aug 2010
Updated 17 Aug 2010
Type Conference
Year 2007
Where CONCUR
Authors Martin R. Neuhäußer, Joost-Pieter Katoen
Comments (0)