It Usually Works: The Temporal Logic of Stochastic Systems.

Adnan Aziz Vigyan Singhal Felice Balarin

Published in: CAV (1995)

Keyphrases

temporal logic
stochastic systems
model checking
modal logic
stochastic models
conservation laws
verification method
linear temporal logic
confidence intervals
mazurkiewicz traces
belief revision
reactive systems
computation tree logic
special case
software engineering