Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems.

Published in: CoRR (2020)

Keyphrases

temporal logic
model checking
verification method
concurrent systems
reactive systems
modal logic
complex systems
satisfiability problem
formal methods
distributed systems
bounded model checking
formal verification
model checker
dynamic constraints
computation tree logic
data model