Safraless Synthesis for Epistemic Temporal Specifications.

Rodica Bozianu Catalin Dima Emmanuel Filiot

Published in: CAV (2014)

Keyphrases

spatio temporal
temporal information
program synthesis
temporal constraints
temporal patterns
high level
spatial and temporal
temporal reasoning
specification language
temporal analysis
data sets
information systems
e learning
software development
temporal data
texture synthesis