Predicate abstraction for reactive synthesis.

Adam Walker Leonid Ryzhyk

Published in: FMCAD (2014)

Keyphrases

high level
agent architecture
program synthesis
real time
reactive planning
decision making
petri net
first order logic
texture synthesis
databases
case study
bayesian networks
data abstraction
logic rules