Login / Signup

Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.

Michaël CadilhacGuillermo A. Pérez
Published in: CoRR (2022)
Keyphrases
  • efficient implementation
  • neural network
  • machine learning
  • hardware implementation
  • implementation issues