Abstraction-Based Verification of Approximate Preopacity for Control Systems.
Junyao HouSiyuan LiuXiang YinMajid ZamaniPublished in: IEEE Control. Syst. Lett. (2023)
Keyphrases
- control system
- model checking
- hardware designs
- face verification
- formal verification
- computer vision
- case study
- high level
- bounded model checking
- data sets
- exact solution
- signature verification
- control algorithm
- functional verification
- safety analysis
- decision theoretic planning
- control law
- evolutionary algorithm
- expert systems
- lower bound
- artificial intelligence