Tweaking the odds in probabilistic timed automata
From MaRDI portal
Publication:832050
DOI10.1007/978-3-030-85172-9_3zbMath1491.68098MaRDI QIDQ832050
Joost-Pieter Katoen, Arnd Hartmanns, Bram Kohlen, Jip Spel
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_3
68Q45: Formal languages and automata
90C40: Markov and semi-Markov decision processes
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Uses Software