( en | de | ru )

 

Disambiguierung von "Cleaveland, Matthew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conservative Safety Monitors of Stochastic Dynamical Systems.

, , , und . CoRR, (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.

Matthew Mellon

Matthew David

Olumuyiwa Matthew

Peter Matthew

Matthew Grum

 

Weitere Publikationen von Autoren mit dem selben Namen

Safe Planning in Dynamic Environments Using Conformal Prediction., , , und . IEEE Robotics Autom. Lett., 8 (8): 5116-5123 (2023)Distributionally Robust Statistical Verification with Imprecise Neural Networks., , , , , , , und . CoRR, (2023)Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information., , , , und . IROS, Seite 10290-10296. IEEE, (2022)Confidence Composition for Monitors of Verification Assumptions., , , , , , und . CoRR, (2021)Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis., , , und . CoRR, (2021)Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper., , , und . Formal Methods in Outer Space, Volume 13065 von Lecture Notes in Computer Science, Seite 137-146. Springer, (2021)Causal Repair of Learning-enabled Cyber-physical Systems., , , , und . CoRR, (2023)Repairing Learning-Enabled Controllers While Preserving What Works., , , , und . CoRR, (2023)Conformal Prediction Regions for Time Series Using Linear Complementarity Programming., , , und . AAAI, Seite 20984-20992. AAAI Press, (2024)Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks., , , , und . SAFECOMP Workshops, Volume 12235 von Lecture Notes in Computer Science, Seite 82-97. Springer, (2020)