PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Seshia, Sanjit A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.

, , , , , , , und . ICCPS, Seite 29:1-29:10. IEEE Computer Society, (2016)

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.

A. Laukemann

A. Laukemann

A. Laukemann

A. Vo{\ss}

A. Afkari

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning Auditable Features from Signals Using Unsupervised Temporal Projection., , , und . CoRR, (2016)Towards Verified Artificial Intelligence., und . CoRR, (2016)On Systematic Testing for Execution-Time Analysis., und . CoRR, (2015)A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications., , , , und . CoRR, (2014)Control Improvisation with Probabilistic Temporal Specifications., , , , , und . CoRR, (2015)Semantic Adversarial Deep Learning., , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 3-26. Springer, (2018)Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions., , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 78-92. Springer, (2002)Deciding Separation Formulas with SAT., , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 209-222. Springer, (2002)Synthesis of Obfuscation Policies to Ensure Privacy and Utility., , , , und . J. Autom. Reasoning, 60 (1): 107-131 (2018)A Graphical Environment for the Specification and Verification of Reactive Systems., , , und . SAFECOMP, Volume 1698 von Lecture Notes in Computer Science, Seite 431-444. Springer, (1999)