Triggers for Reactive Synthesis Specifications.
Gal AmramDor Ma'ayanShahar MaozOr PistinerJan Oliver RingertPublished in: Software Engineering (2024)
Keyphrases
- reactive systems
- agent architecture
- program synthesis
- formal specification
- reactive behavior
- functional programs
- delay insensitive
- model checking
- high level
- mobile robot
- active databases
- texture synthesis
- artificial intelligence
- control flow
- active rules
- expert systems
- image sequences
- case study
- reactive planning
- information systems