Houssam Abbas
From MaRDI portal
Person:3172940
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Multiresolution Analysis of Temporal Logic 25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| A deontic logic analysis of autonomous systems' safety Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Temporal logic robustness for general signal classes Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Quantitative regular expressions for arrhythmia detection algorithms Computational Methods in Systems Biology | 2019-07-25 | Paper |
| Relaxed decidability and the robust semantics of metric temporal logic Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
| Linear hybrid system falsification through local search Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Research outcomes over time
This page was built for person: Houssam Abbas
