Sign in

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.

Jaime AriasKyungmin BaeCarlos OlartePeter Csaba ÖlveczkyLaure PetrucciFredrik Rømming
Published in: FTSCS (2022)
Keyphrases
  • logic programming
  • real time
  • machine learning
  • artificial intelligence
  • timed automata