A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic.

Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: TIME (2013)

Keyphrases

metric temporal logic
computational complexity
markov chain
databases
real time
evolutionary algorithm
np complete
satisfiability problem
database
data sets
dynamical systems