Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication Hahn13DT.
Ernst Moritz Hahn
(
)
:
Model checking stochastic hybrid systems
.
Saarland University
, 2013.
URL
BIB