Peter Nazier Mosaad
Orcid: 0000-0002-3629-4907
According to our database1,
Peter Nazier Mosaad
authored at least 9 papers
between 2015 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control.
Acta Informatica, 2021
2018
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Sci. Ann. Comput. Sci., 2017
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Just scratching the surface: Partial exploration of initial values in reach-set computation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015