Results (13)

  • Concurrent omega-regular games
    Conference paper
  • Masaccio: A formal model for embedded components
    Conference paper
  • A classification of symbolic transition systems
    Conference paper
  • Symbolic model checking for rectangular hybrid systems
    Conference paper