Verifying linear temporal specifications of constant-rate multi-mode systems.

Michael Blondin Philip Offtermatt Alex Sansfaçon-Buchanan

Published in: LICS (2023)

Keyphrases

temporal information
spatio temporal
management system
complex systems
real time
data sets
temporal reasoning
temporal evolution
high level
image sequences
computer systems
temporal constraints
linear systems
temporal dimension
reactive systems