Login / Signup

Superposition as a Decision Procedure for Timed Automata.

Arnaud FietzkeChristoph Weidenbach
Published in: Math. Comput. Sci. (2012)
Keyphrases
  • timed automata
  • theorem proving
  • model checking
  • reachability analysis
  • decision making
  • theorem prover
  • decision model
  • decision makers
  • first order logic
  • real time systems
  • iterative procedure
  • database
  • real world