Login / Signup

Probabilistic Temporal Logics for Finite and Bounded Models

Sergiu HartMicha Sharir
Published in: STOC (1984)
Keyphrases
  • temporal logic
  • probabilistic model
  • model checking
  • reactive systems
  • image sequences
  • mathematical models
  • temporal knowledge