Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

2017

Published Web Location

Memory Augmented Control Networks
- Khan, A.;
- Zhang, C.;
- Atanasov, N.;
- Karydis, K.;
- Kumar, V.;
- Lee, D.
Activity Patterns of Heavy-Duty Vehicles andTheir Implications on Energy Use and Emissions
- Boriboonsomsin, Kanok
Will Aerosol Hygroscopicity Change with Biodiesel, Renewable Diesel Fuels and Emission Control Technologies?
- Vu, Diep;
- Short, Daniel;
- Karavalakis, Georgios;
- Durbin, Thomas D;
- Asa-Awuku, Akua
Fast, Autonomous Flight in GPS-Denied and Cluttered Environments
- Mohta, K.;
- Mulgaonkar, Y.;
- Watterson, M.;
- Liu, S.;
- Qu, C.;
- Makineni, A.;
- Saulnier, K.;
- Sun, K.;
- Zhu, A.;
- Delmerico, J.;
- Karydis, K.;
- Atanasov, N.;
- Loianno, G.;
- Scaramuzza, D.;
- Daniilidis, K.;
- Taylor, C. J.;
- Kumar, V.
End-to-End Navigation in Unknown Environments using Neural Networks
- Karydis, Konstantinos;
- Khan, A.;
- Zhang, C.;
- Atanasov, N.;
- Lee, D.;
- Kumar, V.