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:
CoRR (2021)
Keyphrases
</>
temporal properties
model checking
formal methods
spatio temporal
neural network
knowledge based systems
possibility theory
machine learning
knowledge discovery
source code
fuzzy sets
knowledge acquisition