Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

80

Voted

CONCUR
2007
Springer

favoriteEmaildiscussreport

99views Distributed And Parallel Com...» more CONCUR 2007»

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

15 years 1 months ago

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

Download www-i2.informatik.rwth-aachen.de

Martin R. Neuhäußer, Joost-Pieter Katoe

Real-time Traffic

CONCUR 2007 | Distributed And Parallel Computing |

claim paper

Related Content

» Advances in Probabilistic Model Checking

» Partial Order Reduction for Probabilistic Branching Time

» Qualitative Logics and Equivalences for Probabilistic Systems

» Towards Relational POMDPs for Adaptive Dialogue Management

» RRE A gametheoretic intrusion Response and Recovery Engine

Post Info
More Details (n/a)

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)