Safraless Synthesis for Epistemic Temporal Specifications.

Rodica Bozianu Catalin Dima Emmanuel Filiot

Published in: CoRR (2014)

Keyphrases

temporal information
temporal constraints
spatio temporal
temporal relations
temporal data
temporal reasoning
temporal patterns
program synthesis
real time
high level
spatial and temporal
temporal databases
e learning
formal semantics
time stamped
temporal consistency