Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)
Krishnendu ChatterjeeVinayak S. PrabhuPublished in: CoRR (2011)
Keyphrases
- memory efficient
- real time
- control system
- iterative deepening
- external memory
- intelligent vehicles
- low cost
- controller synthesis
- reinforcement learning
- multiple sequence alignment
- safety critical
- control loop
- real time systems
- data acquisition
- traffic conditions
- vision system
- multi dimensional
- program synthesis
- state space