Login / Signup

Playing Optimally on Timed Automata with Random Delays.

Nathalie BertrandSven Schewe
Published in: FORMATS (2012)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • uniformly distributed
  • first order logic
  • theorem proving
  • data sets
  • real world
  • social networks
  • knowledge base
  • computer games