Rohit Dureja

From MaRDI portal
Person:2149963

Available identifiers

zbMath Open dureja.rohitMaRDI QIDQ2149963

List of research outcomes





PublicationDate of PublicationType
Model predictive runtime verification for cyber-physical systems with real-time deadlines2024-05-03Paper
Incremental design-space model checking via reusable reachable state approximations2022-06-27Paper
More scalable LTL model checking via discovering design-space dependencies \((D^3)\)2019-09-16Paper

Research outcomes over time

This page was built for person: Rohit Dureja

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2149963&oldid=6677445"
Powered by MediaWiki