A note on the verification of automata specifications of probabilistic real-time systems

DOI10.1016/S0020-0190(01)00288-5zbMATH Open1338.68169MaRDI QIDQ294873FDOQ294873

Authors: Guilherme A. Pinto, Arnaldo Vieira Moura 

Publication date: 16 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019001002885?np=y

zbMATH Keywords

nondeterminismreal-time systemstimed automataprobabilistic verification

Mathematics Subject Classification ID

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

Cites Work

• A theory of timed automata
• The complexity of probabilistic verification
• Title not available (Why is that?)

This page was built for publication: A note on the verification of automata specifications of probabilistic real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294873)