Login / Signup

Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach.

Damien Busatto-GastonBenjamin MonmegePierre-Alain ReynierOcan Sankur
Published in: CAV (1) (2019)
Keyphrases
  • finite state machines
  • controller synthesis
  • timed automata
  • autonomic computing systems
  • experimental data
  • petri net