Adapting Specifications for Reactive Controllers.
Titus BuckworthDalal AlrajehJeff KramerSebastián UchitelPublished in: SEAMS (2023)
Keyphrases
- reactive systems
- control system
- reinforcement learning
- high level
- formal specification
- delay insensitive
- control strategy
- controller design
- database
- reactive planning
- agent architecture
- model checking
- concurrent systems
- formal methods
- bounded model checking
- formal descriptions
- evolutionary robotics
- impedance control
- control loop
- subsumption architecture
- asynchronous circuits
- inverted pendulum
- specification language
- control strategies
- control law
- temporal logic
- evolutionary algorithm
- website
- information systems
- data sets