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

Michael Blondin Philip Offtermatt Alex Sansfaçon-Buchanan

Published in: CoRR (2023)

Keyphrases

spatio temporal
management system
model checking
linear systems
high level
automated verification
temporal databases
distributed systems
expert systems
multiscale
image sequences
building blocks
learning systems
complex systems
web services
closed form
social networks
artificial intelligence
data sets