scientific article; zbMATH DE number 7333236
From MaRDI portal
Publication:5858720
zbMath1458.68114arXiv1207.1272MaRDI QIDQ5858720
Alexandre David, Zheng Wang, Marius Mikučionis, Kim Gulstrand Larsen, P. E. Bulychev, Danny Bøgsted Poulsen, Axel Legay
Publication date: 14 April 2021
Full work available at URL: https://arxiv.org/abs/1207.1272
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata ⋮ Wordgen : a Timed word Generation Tool ⋮ Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
Uses Software
This page was built for publication:
