Predictive Semantics for Past-CTL Runtime Monitors.

Giorgio Audrito Volker Stolz Gianluca Torta

Published in: CoRR (2022)

Keyphrases

epistemic logic
model checking
formal semantics
temporal logic
alternating time temporal logic
real world
neural network
temporal properties
database
predictive model
reasoning tasks
formal verification
imperfect information
model theoretic
concurrent systems
computation tree logic