Login / Signup

Making Timed Automata Communicate.

Jing ChenHuimin Lin
Published in: 10th Anniversary Colloquium of UNU/IIST (2002)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • artificial intelligence
  • first order logic
  • machine learning
  • information systems
  • case study
  • markov chain
  • temporal logic