Peter Nazier Mosaad

Available identifiers

zbMath Open nazier-mosaad.peterMaRDI QIDQ1683456

List of research outcomes

Publication	Date of Publication	Type
Model checking delay differential equations against metric interval temporal logic	2019-02-08	Paper
Automatic verification of stability and safety for delay differential equations	2018-03-01	Paper
Safe over- and under-approximation of reachable sets for delay differential equations	2017-12-01	Paper
Temporal logic verification for delay differential equations	2016-12-21	Paper

Research outcomes over time

This page was built for person: Peter Nazier Mosaad