Login / Signup
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.
Oded Padon
Jochen Hoenicke
Kenneth L. McMillan
Andreas Podelski
Mooly Sagiv
Sharon Shoham
Published in:
FMCAD (2018)
Keyphrases
</>
video sequences
temporal properties
formal methods
model checking
possibility theory
fuzzy logic
spatial and temporal
artificial intelligence
decision making
cooperative
pattern recognition
expert systems
dynamic environments
building blocks
temporal logic
temporal data