Login / Signup
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
Ludovica Luisa Vissat
Jane Hillston
Michele Loreti
Laura Nenzi
Published in:
VALUETOOLS (2017)
Keyphrases
</>
temporal analysis
temporal logic
model checking
satisfiability problem
modal logic
linear temporal logic
temporal trends
belief revision
video summarization
formal verification
temporal knowledge
concurrent systems
computation tree logic
feature space
dynamic constraints
temporally extended