Tag: cps

1. Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments

   Daniele Dell’Erba, Sven Schewe, Ashutosh Trivedi.

   CDC, 2025

   Paper (PDF) · Publisher · BibTeX

2. Stochastic Neural Simulation Relations for Control Transfer

   Alireza Nadali, Ashutosh Trivedi, Majid Zamani.

   NeuS, 2025
   DARPA Disruptive Idea Award

   Paper (PDF) · BibTeX

3. Closure Certificates

   Vishnu Murali, Ashutosh Trivedi, Majid Zamani.

   HSCC 2024

   Paper (PDF) · arXiv · Publisher · BibTeX