Lecture 7 [slides]

summary

• universality of timed automata
• extensions of timed automata
  • timed automata with epsilon-transitions
  • alternating timed automata

references

• “Alternating timed automata”, Lasota and Walukiewicz, 2008