Login / Signup

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods.

R. GovindFrédéric HerbreteauB. SrivathsanIgor Walukiewicz
Published in: LICS (2022)
Keyphrases
  • partial order
  • timed automata
  • model checking
  • data mining
  • reinforcement learning
  • search algorithm
  • expert systems
  • low cost
  • first order logic
  • dominance relation