- Authors
- T. Yue, S. Ali, M. Zhang and D. Pradhan
- Status
- Published
- Publication type
- Technical Reports
- Year of publication
- 2016
- Journal
- –
- Publisher
- Simula Research Laboratory
- Notes
- This work is supported by U-Test project (Testing Cyber-Physical Systems under Uncertainty).
- Citation key
- 14030