Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.

Luca Aceto Ian Cassar Adrian Francalanza Anna Ingólfsdóttir

Published in: CoRR (2022)

Keyphrases

databases
data sets
database systems
inductive logic programming
temporal logic
desirable properties
machine learning
genetic algorithm
learning algorithm
information systems
digital libraries
expert systems
topological properties