Browse by Subject formal methods
Showing results 5 to 7 of 7
| Reachability-Based Decision-Making for Autonomous Driving: Theory and Experiments Ahn, Heejin; Berntorp, Karl; Inani, Pranav; Ram, Arjun Jagdish; Di Cairano, Stefano, IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, v.29, no.5, pp.1907 - 1921, 2021-09 |
| Symbolic reachability analysis for multiple-clock system design Yi, JH; Kyung, Chong-Min, JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, v.14, pp.533 - 551, 2005-06 |
| Systematic evaluation of fault trees using real-time model checker UPPAAL Cha, S; Son, H; Yoo, J; Jee, E; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.82, no.1, pp.11 - 20, 2003-10 |
Discover
Type
Open Access
Date issued
- 1 2040 - 2041
- 31,619 2020 - 2029
- 100,003 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 1,633 1970 - 1979
- 62 1964 - 1969