Autor der Publikation

Logic and Model Checking by Imprecise Probabilistic Interpreted Systems.

, , , und . EUMAS, Volume 12802 von Lecture Notes in Computer Science, Seite 211-227. Springer, (2021)

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

The Power of the Weak., , , und . ACM Trans. Comput. Log., 21 (2): 15:1-15:47 (2020)Containment for Conditional Tree Patterns., , , und . Logical Methods in Computer Science, (2015)Definable Operations On Weakly Recognizable Sets of Trees., , und . FSTTCS, Volume 13 von LIPIcs, Seite 363-374. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Bernstein's Socks, Polynomial-Time Provable Coherence and Entanglement., , und . ISIPTA, Volume 103 von Proceedings of Machine Learning Research, Seite 23-31. PMLR, (2019)Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption., , und . CoRR, (2021)Index problems for game automata., , und . CoRR, (2015)Quantum Rational Preferences and Desirability., , und . IDM@NIPS, Volume 58 von Proceedings of Machine Learning Research, Seite 87-96. PMLR, (2016)Set-Valued Probabilistic Sentential Decision Diagrams., und . PLP@ILP, Volume 2219 von CEUR Workshop Proceedings, Seite 3-8. CEUR-WS.org, (2018)Robust Model Checking with Imprecise Markov Reward Models., , , und . ISIPTA, Volume 147 von Proceedings of Machine Learning Research, Seite 299-309. PMLR, (2021)A Polarity Theory for Sets of Desirable Gambles., , , und . ISIPTA, Volume 62 von Proceedings of Machine Learning Research, Seite 37-48. PMLR, (2017)