Salar Moarref
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 |
|---|---|---|
| Pattern-based refinement of assume-guarantee specifications in reactive synthesis Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Compositional synthesis of reactive controllers for multi-agent systems Computer Aided Verification | 2019-05-03 | Paper |
| Reactive synthesis for robotic swarms | 2018-12-06 | Paper |
| Compositional and symbolic synthesis of reactive controllers for multi-agent systems Information and Computation | 2018-06-14 | Paper |
| Compositional synthesis with parametric reactive controllers Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Safe schedulability of bounded-rate multi-mode systems Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Research outcomes over time
This page was built for person: Salar Moarref
