Login / Signup
LTL Synthesis on Infinite-State Arenas defined by Programs.
Shaun Azzopardi
Nir Piterman
Gerardo Schneider
Luca Di Stefano
Published in:
CoRR (2023)
Keyphrases
</>
functional programs
machine learning
temporal logic
learning algorithm
artificial intelligence
computer vision
information systems
expert systems
logic programming
model checking
primitive operations