Stochastic Timed Automata

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

zbMATH Keywords

probabilitytopologytimed automatamodel checking

Mathematics Subject Classification ID

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 (11)

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 ⋮ Max-entropy sampling for deterministic timed automata under linear duration constraints ⋮ Comparing two approaches to include stochasticity in hybrid automata ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction ⋮ Probabilistic Time Petri Nets ⋮ Decisiveness of stochastic systems and its application to hybrid models

This page was built for publication: Stochastic Timed Automata