Login / Signup

Reachability Analysis of Synchronized PA Systems.

Ahmed BouajjaniJavier EsparzaTayssir Touili
Published in: INFINITY (2004)
Keyphrases
  • reachability analysis
  • relational databases
  • learning systems
  • complex systems
  • model checking
  • markov decision processes
  • real time
  • real time systems