Login / Signup

EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems.

Valentina CastiglioniMichele LoretiSimone Tini
Published in: CoRR (2022)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • artificial intelligence
  • information systems
  • software engineering
  • linear temporal logic