Login / Signup

An automated system repair framework with signal temporal logic.

Mert ErgurtunaBeyazit YalcinkayaEbru Aydin Gol
Published in: Acta Informatica (2022)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • linear temporal logic
  • petri net
  • dynamic systems
  • satisfiability problem