Probabilistic timed automata with clock-dependent probabilities

DOI10.1007/978-3-319-67089-8_11zbMath1478.68135arXiv1707.04507OpenAlexW2963692889MaRDI QIDQ1685793

Jeremy Sproston

Publication date: 20 December 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.04507

zbMATH Keywords

timed automataprobabilistic model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Tweaking the odds in probabilistic timed automata ⋮ Probabilistic timed automata with clock-dependent probabilities ⋮ Unnamed Item

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximate model checking of stochastic hybrid systems
• Checking timed Büchi automata emptiness efficiently
• Performance analysis of probabilistic timed automata using digital clocks
• A theory of timed automata
• Automatic verification of real-time systems with discrete probability distributions.
• Probabilistic timed automata with clock-dependent probabilities
• Qualitative reachability for open interval Markov chains
• Model checking for probabilistic timed automata
• Optimal infinite scheduling for multi-priced timed automata
• On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context
• Thin and Thick Timed Regular Languages
• Model Checking Probabilistic Timed Automata with One or Two Clocks
• Stochastic Timed Games Revisited

This page was built for publication: Probabilistic timed automata with clock-dependent probabilities