|
[ZR14]
Yang Zhao and Kristin Yvonne Rozier.
Probabilistic Model Checking for Comparative Analysis of Automated Air Traffic Control Systems.
In Proc. IEEE/ACM 2014 International Conference on Computer-Aided Design (ICCAD'14), IEEE/ACM.
2014.
[bib]
[Uses probabilistic model checking and PRISM to study safety properties of automated air traffic control systems.]
|
|
Downloads:
 bib
|
|
Notes:
Additional details/files at
http://research.kristinrozier.com/ICCAD14.html.
|
|
Links:
[Google]
[Google Scholar]
|