Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates.

Henrikas Pranevicius Stanislovas Norgela

Published in: Informatica (2012)

Keyphrases

piecewise linear
linear temporal logic
temporal logic
model checking
finite sets
bounded model checking
dynamic programming
chaotic map
formal specification
search algorithm
regression algorithm
decision trees
programming language
principal curves
transition systems