Playing Optimally on Timed Automata with Random Delays
From MaRDI portal
Publication:4649385
DOI10.1007/978-3-642-33365-1_5zbMath1374.68252OpenAlexW1567854714MaRDI QIDQ4649385
Sven Schewe, Nathalie Bertrand
Publication date: 21 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33365-1_5
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Playing Optimally on Timed Automata with Random Delays