( en | de | ru )

 

Disambiguierung von "Rabe, Markus N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.

, und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 333-348. Springer, (2012)

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.

Markus Rabe

Markus Rabe

n n n

Markus N A Bockmuehl

n AÊ¿w n

 

Weitere Publikationen von Autoren mit dem selben Namen

Incremental Determinization., und . SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 375-392. Springer, (2016)Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains., , , , und . QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2014)The linear-hyper-branching spectrum of temporal logics., und . it - Information Technology, 56 (6): 273-279 (2014)Encodings of Bounded Synthesis., , , und . CoRR, (2018)Synthesis of Boolean Functions with Clausal Abstraction., und . CoRR, (2018)Understanding and Extending Incremental Determinization for 2QBF., , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 256-274. Springer, (2018)Mathematical Reasoning in Latent Space., , , , und . CoRR, (2019)Neural Circuit Synthesis from Specification Patterns., , , und . NeurIPS, Seite 15408-15420. (2021)Towards the Automatic Mathematician., und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 25-37. Springer, (2021)Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning., , und . CoRR, (2018)