A tool for deciding the satisfiability of continuous-time metric temporal logic.

Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: Acta Informatica (2016)

Keyphrases

metric temporal logic
markov chain
np complete
propositional logic
state space
user friendly
orders of magnitude
iterative learning control
software tools
optimal control
satisfiability problem
phase transition
database
computational complexity
case study
genetic algorithm
neural network
real time