Stochastic Timed Automata
From MaRDI portal
Publication:2938760
DOI10.2168/LMCS-10(4:6)2014zbMath1448.68256arXiv1410.2128OpenAlexW143370938MaRDI QIDQ2938760
Marcin Jurdziński, Patricia Bouyer, Thomas Brihaye, Nathalie Bertrand, Marcus Größer, Christel Baier, Quentin Menet
Publication date: 15 January 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.2128
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (8)
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ When are stochastic transition systems tameable? ⋮ Flexible nets: a modeling formalism for dynamic systems with uncertain parameters ⋮ Unnamed Item ⋮ Compositional Design of Stochastic Timed Automata ⋮ Probabilistic Time Petri Nets ⋮ Decisiveness of stochastic systems and its application to hybrid models
This page was built for publication: Stochastic Timed Automata
