Verification and Synthesis of Timing Contracts for Embedded Controllers.
Mohammad Al KhatibAntoine GirardThao DangPublished in: HSCC (2016)
Keyphrases
- asynchronous circuits
- controller synthesis
- embedded systems
- supply chain
- reinforcement learning
- control system
- control strategy
- machine learning
- program synthesis
- formal verification
- formal analysis
- face verification
- texture synthesis
- model checking
- database
- signature verification
- controller design
- information retrieval
- expert systems
- computer vision