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

Information Processing Letters

Volumn 82, Issue 5, 2002, Pages 223-228

  Moura, Arnaldo V ^a   Pinto, Guilherme A ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Nondeterminism; Probabilistic verification; Real time systems; Timed automata

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; MARKOV PROCESSES; PROBABILISTIC LOGICS; PROBABILITY DISTRIBUTIONS; SET THEORY; THEOREM PROVING;

TIMED AUTOMATA (TA);

REAL TIME SYSTEMS;

EID: 0037097076     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(01)00288-5     Document Type: Article

References (5)

1. Verifying automata specifications of probabilistic real-time systems
2. A theory of timed automata
3. On discretization of delays in timed automata and digital circuits
4. The complexity of probabilistic verification