Login / Signup

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification.

Charles LesireStéphanie RousselDavid DooseChristophe Grand
Published in: ICRA (2019)
Keyphrases
  • linear temporal logic
  • real time
  • temporal logic
  • model checking
  • bounded model checking
  • real time systems
  • transition systems
  • petri net
  • high level