Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.

Rajeev Alur Salar Moarref Ufuk Topcu

Published in: TACAS (2015)

Keyphrases

reactive systems
delay insensitive
program synthesis
functional requirements
real time
agent architecture
reactive planning
temporal logic
model checking
high level
databases
evolutionary algorithm
face recognition
formal specification
database systems
control flow
formal language
real world
database