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

Michaël Cadilhac Guillermo A. Pérez

Published in: TACAS (2) (2023)

Keyphrases

implementation issues
computer vision
learning algorithm
similarity measure
database
real world
artificial intelligence
multiscale
multi agent
model checking
temporal logic
hardware implementation