Lecture 6 [slides]

summary

• timed automata
  • motivation
  • expressiveness
  • decision problems

    references

• “A theory of timed automata”, Alur and Dill, 1994
• “Timed automata: semantics, algorithms, and tools”, Bengtsson and Yi, 2004