Autor der Publikation

Time-Series Learning Using Monotonic Logical Properties.

, , , , und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 389-405. Springer, (2018)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy., und . CoRR, (2019)VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems., , , , , , und . CoRR, (2019)Formal Specification for Deep Neural Networks., , , , , , , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 20-34. Springer, (2018)Learning Task Specifications from Demonstrations., , , , und . NeurIPS, Seite 5372-5382. (2018)Time-Series Learning Using Monotonic Logical Properties., , , , und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 389-405. Springer, (2018)Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications., , , , und . CoRR, (2017)Logical Clustering and Learning for Time-Series Data., , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 305-325. Springer, (2017)VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems., , , , , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 432-442. Springer, (2019)Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques., , , , und . CoRR, (2019)A Model Counter's Guide to Probabilistic Systems., , und . CoRR, (2019)