Login / Signup
PyReason: Software for Open World Temporal Logic.
Dyuman Aditya
Kaustuv Mukherji
Srikar Balasubramanian
Abhiraj Chaudhary
Paulo Shakarian
Published in:
AAAI Spring Symposium: MAKE (2023)
Keyphrases
</>
temporal logic
open world
model checking
modal logic
reactive systems
incomplete information
closed world
formal specification language
predicate logic
verification method
data exchange
query answering
database
databases
heuristic search
linear temporal logic