Interval Signal Temporal Logic From Natural Inclusion Functions.

Luke Baird Akash Harapanahalli Samuel Coogan

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
satisfiability problem
verification method
mazurkiewicz traces
linear temporal logic
model checker
reactive systems
belief revision
transition systems
bounded model checking
automata theoretic
reinforcement learning
formal verification
petri net