( en | de | ru )

 

Disambiguierung von "Kapinski, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abnormal Data Classification Using Time-Frequency Temporal Logic.

, , , , , und . HSCC, Seite 237-242. ACM, (2017)

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.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Weitere Publikationen von Autoren mit dem selben Namen

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems., , , , , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 137-154. Springer, (2019)Model checking in-the-loop: Finding counterexamples by systematic simulation., , , , und . ACC, Seite 2734-2740. IEEE, (2008)Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles., , , und . HSCC, Seite 283-284. ACM, (2018)Verification of Supervisory Control Software Using State Proximity and Merging., , , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 344-357. Springer, (2008)Reasoning about safety of learning-enabled components in autonomous cyber-physical systems., , , und . DAC, Seite 30:1-30:6. ACM, (2018)Underminer: a framework for automatically identifying non-converging behaviors in black box system models., , , , und . EMSOFT, Seite 7:1-7:10. ACM, (2016)Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper., , , und . ICCAD, Seite 1-7. ACM, (2019)On incrementally bounded systems., und . ACC, Seite 6348-6350. IEEE, (2010)Multiple shooting, CEGAR-based falsification for hybrid systems., , , und . EMSOFT, Seite 5:1-5:10. ACM, (2014)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 420-439. Springer, (2020)