Houssam Abbas

Houssam Abbas

Oregon State University - Corvallis / United States
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 901983
person_outline Houssam Abbas's MOST POPULAR ARTICLES
1-) Probabilistic temporal logic falsification of cyber-physical systemsH Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A GuptaACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 20131882013
2-) Smooth operator: Control using the smooth robustness of temporal logicYV Pant, H Abbas, R Mangharam2017 IEEE Conference on Control Technology and Applications (CCTA), 1235-1240, 20171242017
3-) Benchmarks for Temporal Logic Requirements for Automotive Systems.B Hoxha, H Abbas, G FainekosARCH@ CPSWeek 34, 25-30, 20141232014
4-) Fly-by-logic: Control of multi-drone fleets with temporal logic objectivesYV Pant, H Abbas, RA Quaye, R Mangharam2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 20181182018
5-) F1/10: An open-source autonomous cyber-physical platformM O\'Kelly, V Sukhil, H Abbas, J Harkins, C Kao, YV Pant, R Mangharam, ...arXiv preprint arXiv:1901.08567, 20191082019