Verifying quantitative properties of continuous probabilistic timed automata (2000)

by Marta Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston
Citations:33 - 9 self

Document Versions

Verifying quantitative properties of continuous probabilistic timed automata –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs –Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 1998