Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Data-Efficient Bayesian Verification of Parametric Markov Chains.

E. Polgreen, V. Wijesuriya, S. Haesaert, und A. Abate. QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 35-51. Springer, (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.

Elizabeth Goldstein University of Stuttgart

Sarah Elizabeth Lepschy University of Stuttgart

Elizabeth Gutierrez Rojas University of Stuttgart

Liliana Elizabeth Zarco Barragan University of Stuttgart

Ann Elizabeth Moreci-Hesse University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.A. Abate, I. Bessa, D. Cattaruzza, L. Cordeiro, C. David, P. Kesseli, D. Kroening, und E. Polgreen. CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 462-482. Springer, (2017)Counterexample Guided Inductive Synthesis Modulo Theories.A. Abate, C. David, P. Kesseli, D. Kroening, und E. Polgreen. CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 270-288. Springer, (2018)Data-Efficient Bayesian Verification of Parametric Markov Chains.E. Polgreen, V. Wijesuriya, S. Haesaert, und A. Abate. QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2016)Synthesis without syntactic templates.E. Polgreen. University of Oxford, UK, (2020)British Library, EThOS.Satisfiability and Synthesis Modulo Oracles.E. Polgreen, A. Reynolds, und S. Seshia. VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 263-284. Springer, (2022)DSSynth: an automated digital controller synthesis tool for physical plants.A. Abate, I. Bessa, D. Cattaruzza, L. Chaves, L. Cordeiro, C. David, P. Kesseli, D. Kroening, und E. Polgreen. ASE, Seite 919-924. IEEE Computer Society, (2017)Verifying Reachability Properties in Markov Chains via Incremental Induction.E. Polgreen, M. Brain, M. Fränzle, und A. Abate. CoRR, (2019)Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.E. Polgreen, V. Wijesuriya, S. Haesaert, und A. Abate. QEST, Volume 10503 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2017)