( en | de | ru )

 

Disambiguierung von "Mitra, Sayan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors.

, , , , , und . ICCPS, Seite 245-246. ACM, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sayan Mitra

Sayan Chakrabarty

Sayan Ghosh

Thomas Mitra

Uwe Mitransky

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-Agent Safety Verification using Symmetry Transformations., , , und . CoRR, (2019)State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems., und . CoRR, (2020)Perception Contracts for Safety of ML-Enabled Systems., , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 2196-2223 (Oktober 2023)Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models., , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 629-652. Springer, (2020)Learning Certifiably Robust Controllers Using Fragile Perception., , , , und . CoRR, (2022)Multi-agent Motion Planning from Signal Temporal Logic Specifications., , , und . CoRR, (2022)Verifying Cyber-Physical Interactions in Safety-Critical Systems., , und . IEEE Secur. Priv., 11 (4): 28-37 (2013)SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions., , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 580-594. Springer, (2021)HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization., , , , und . CCTA, Seite 923-930. IEEE, (2021)Proving Approximate Implementations for Probabilistic I/O Automata., und . PDPAR/PaUL@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 71-93. Elsevier, (2006)