Author:
De Nicola Rocco,Katoen Joost-Pieter,Latella Diego,Loreti Michele,Massink Mieke
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Model checking continuous time Markov chains;Aziz;ACM Transactions on Computational Logic,2000
3. It usually works: The temporal logic of stochastic systems;Aziz,1995
4. Model checking action- and state-labelled Markov chains;Baier,2004
5. Approximate symbolic model checking of continuous-time Markov chains;Baier,1999
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sibilla: A tool for reasoning about collective systems;Science of Computer Programming;2024-07
2. Formal specification and verification of a team formation protocol using TLA+;Software: Practice and Experience;2023-12-27
3. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02
4. Formal Specification of a Team Formation Protocol;Advanced Information Networking and Applications;2022
5. Programming Multi-robot Systems with X-KLAIM;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022