Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.

Fabio Patrizi Nir Lipovetzky Hector Geffner

Published in: IJCAI (2013)

Keyphrases

distributed systems
building blocks
data sets
heuristic search
databases
machine learning
information retrieval
genetic algorithm
expert systems
management system
program synthesis
linear temporal logic