Triggers for Reactive Synthesis Specifications.

Gal Amram Dor Ma'ayan Shahar Maoz Or Pistiner Jan Oliver Ringert

Published in: ICSE (2023)

Keyphrases

reactive systems
reactive behavior
texture synthesis
agent architecture
formal specification
delay insensitive
high level
data structure
petri net
temporal logic
active databases
specification language
genetic algorithm
case study
machine learning
asynchronous circuits
artificial intelligence
concurrent systems