Houssam Abbas
From MaRDI portal
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 |
|---|---|---|
| Approximating the geometry of temporal logic formulas | 2025-04-25 | Paper |
| 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
