| Probabilistic temporal logic falsification of cyber-physical systems H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 2013 | 206 | 2013 |
| Smooth operator: Control using the smooth robustness of temporal logic YV Pant, H Abbas, R Mangharam 2017 IEEE Conference on Control Technology and Applications (CCTA), 1235-1240, 2017 | 138 | 2017 |
| Benchmarks for Temporal Logic Requirements for Automotive Systems. B Hoxha, H Abbas, G Fainekos ARCH@ CPSWeek 34, 25-30, 2014 | 131 | 2014 |
| Fly-by-logic: Control of multi-drone fleets with temporal logic objectives YV Pant, H Abbas, RA Quaye, R Mangharam 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 107 | 2018 |
| F1/10: An open-source autonomous cyber-physical platform M O'Kelly, V Sukhil, H Abbas, J Harkins, C Kao, YV Pant, R Mangharam, ... arXiv preprint arXiv:1901.08567, 2019 | 99 | 2019 |
| Formal property verification in a conformance testing framework H Abbas, H Mittelmann, G Fainekos 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 69 | 2014 |
| Functional gradient descent method for metric temporal logic specifications H Abbas, A Winn, G Fainekos, AA Julius 2014 American Control Conference, 2312-2317, 2014 | 58 | 2014 |
| Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems H Abbas, B Hoxha, G Fainekos, K Ueda The 4th Annual IEEE International Conference on Cyber Technology in …, 2014 | 52 | 2014 |
| Towards formal specification visualization for testing and monitoring of cyber-physical systems B Hoxha, H Bach, H Abbas, A Dokhanchi, Y Kobayashi, G Fainekos Int. Workshop on Design and Implementation of Formal Tools and Systems, 2014 | 45 | 2014 |
| Conformance testing as falsification for cyber-physical systems H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda arXiv preprint arXiv:1401.5200, 2014 | 44 | 2014 |
| Safe at any speed: A simulation-based test harness for autonomous vehicles H Abbas, M O’Kelly, A Rodionova, R Mangharam Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019 | 43 | 2019 |
| Linear hybrid system falsification through local search H Abbas, G Fainekos Automated Technology for Verification and Analysis: 9th International …, 2011 | 42 | 2011 |
| Model validation of pwm dc–dc converters OA Beg, H Abbas, TT Johnson, A Davoudi IEEE Transactions on Industrial Electronics 64 (9), 7049-7059, 2017 | 41 | 2017 |
| Co-design of anytime computation and robust control YV Pant, H Abbas, K Mohta, TX Nghiem, J Devietti, R Mangharam 2015 IEEE real-time systems symposium, 43-52, 2015 | 38 | 2015 |
| Computer-aided design for safe autonomous vehicles M O'Kelly, H Abbas, R Mangharam 2017 Resilience Week (RWS), 90-96, 2017 | 37 | 2017 |
| APEX: Autonomous vehicle plan verification and execution ME O'Kelly, H Abbas, S Gao, S Kato, S Shiraishi, R Mangharam SAE Technical Paper, 2016 | 37 | 2016 |
| Convergence proofs for simulated annealing falsification of safety properties H Abbas, G Fainekos 2012 50th Annual Allerton Conference on Communication, Control, and …, 2012 | 37 | 2012 |
| Computing descent direction of MTL robustness for non-linear systems H Abbas, G Fainekos 2013 American Control Conference, 4405-4410, 2013 | 34 | 2013 |
| Test-based falsification and conformance testing for cyber-physical systems HY Abbas Arizona State University, 2015 | 22 | 2015 |
| Suppression of mosquito noise by recursive epsilon-filters H Abbas, LJ Karam 2007 IEEE International Conference on Acoustics, Speech and Signal …, 2007 | 22 | 2007 |
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of Pennsylvania在 seas.upenn.edu 的电子邮件经过验证
