Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Houssam Abbas"'
Autor:
Nicole Fronda, Houssam Abbas
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:4193-4204
We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods. Legacy systems embed much expert knowledge which is not explicitly f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::316a773cb66fe5b9129778977a63fece
https://doi.org/10.1109/tcad.2022.3197506
https://doi.org/10.1109/tcad.2022.3197506
Publikováno v:
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::297c987ec42d632c8230c5ab944bad3a
https://doi.org/10.1145/3576841.3585937
https://doi.org/10.1145/3576841.3585937
Autor:
Kuk Jin Jang, Rahul Mangharam, Houssam Abbas, Connor Kurtz, Yash Vardhan Pant, Alena Rodionova
Publikováno v:
ACM Transactions on Cyber-Physical Systems. 5:1-26
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft Systems (UASs) carry out a wide variety of missions (e.g., moving humans and goods within the city), is gaining acceptance as a transportation solution of the future. One
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f8b1cd5b69485c825563df2e9a64882
https://doi.org/10.1145/3447624
https://doi.org/10.1145/3447624
Publikováno v:
2022 IEEE Conference on Control Technology and Applications (CCTA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2553f50c666a56fd5bda351cd61bd972
https://doi.org/10.1109/ccta49430.2022.9966096
https://doi.org/10.1109/ccta49430.2022.9966096
Autor:
Colin Shea-Blymyer, Houssam Abbas
Publikováno v:
Proceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527fe978c0f15af618996d11234c6437
https://doi.org/10.1145/3514094.3534163
https://doi.org/10.1145/3514094.3534163
Autor:
Yash Vardhan Pant, Rahul Mangharam, Rhudii A. Quaye, Houssam Abbas, Joseph Devietti, Truong X. Nghiem, Kartik Mohta
Publikováno v:
IEEE Transactions on Control Systems Technology. 29:768-779
The correct and timely completion of the sensing and action loop is of utmost importance in safety critical autonomous systems. Crucial to the performance of this feedback control loop are the computation time and accuracy of the estimator which prod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3985d2496a8bb75f32f784f8c98a1a14
https://doi.org/10.1109/tcst.2020.2979388
https://doi.org/10.1109/tcst.2020.2979388
Autor:
Houssam Abbas, Richard Pelphrey
Publikováno v:
25th ACM International Conference on Hybrid Systems: Computation and Control.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f6c879773c31147720df23361b50854
https://doi.org/10.1145/3501710.3519531
https://doi.org/10.1145/3501710.3519531
Autor:
Houssam Abbas, Colin Shea-Blymyer
Publikováno v:
ARSO
We study the problem of learning a formal representation of a robot's social obligations from a human population's preferences. Rigorous system design requires a logical formalization of a robot's desired behavior, including the social obligations th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56085374453aebdd0aedc2c9e0108c0e
https://doi.org/10.1109/arso51874.2021.9542846
https://doi.org/10.1109/arso51874.2021.9542846
Autor:
Houssam Abbas, Colin Shea-Blymyer
We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permissions and prohibitions are distinct from a system's mission, and are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19f57a18e6dc7fea546e36ecebd5da5d
http://arxiv.org/abs/2105.02851
http://arxiv.org/abs/2105.02851
Autor:
Erika Ábrahám, Houssam Abbas
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book wer