Sign in

LTL Synthesis on Infinite-State Arenas defined by Programs.

Shaun AzzopardiNir PitermanGerardo SchneiderLuca 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