@inproceedings{faltenbacherHowPCBasedMethodsErr2026,
 author = {Faltenbacher, Sofia and Wahl, Jonas and Herman, Rebecca Jean and Runge, Jakob},
 booktitle = {Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence},
 editor = {Perković, Emilija and Malinsky, Daniel},
 month = {Aug},
 pages = {1498--1519},
 pdf = {https://raw.githubusercontent.com/mlresearch/v337/main/assets/faltenbacher26a/faltenbacher26a.pdf},
 publisher = {PMLR},
 series = {Proceedings of Machine Learning Research},
 title = {How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors},
 url = {https://proceedings.mlr.press/v337/faltenbacher26a.html},
 volume = {337},
 year = {2026}
}

@inproceedings{mullerPerDomainGeneralizingPoliciesOn2026,
 author = {Müller, Nicola J. and Oster, Moritz and Valera, Isabel and Hoffmann, Jörg and Gros, Timo P.},
 booktitle = {Proceedings of the Thirty-Sixth International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2026), June 27 - July 2, Dublin, Ireland},
 doi = {10.1609/icaps.v36i1.42889},
 isbn = {ISSN 2334-0843},
 month = {6},
 number = {1},
 pages = {703-707},
 publisher = {AAAI Press},
 title = {Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions},
 url = {https://ojs.aaai.org/index.php/ICAPS/article/view/42889},
 volume = {36},
 year = {2026}
}

@inproceedings{khadarAICHAOS2ndWorkshop2026,
 author = {Malik Khadar and Julia Cecil and Leon Van Der Neut and Nikola Banovic and Kevin Baum and Stevie Chancellor and Enrico Costanza and Motahhare Eslami and Anna Maria Feit and Susanne Gaube and Ujwal Gadiraju and Harmanpreet Kaur},
 booktitle = {CHI EA '26: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. International Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA-26), April 13-17, Barcelona, Spain},
 doi = {10.1145/3772363.3778736},
 isbn = {979-8-4007-2281-3},
 month = {4},
 number = {article 919},
 pages = {1-6},
 publisher = {ACM, New York, NY, USA},
 title = {AI CHAOS! 2nd Workshop on the Challenges for Human Oversight of AI Systems},
 url = {https://dl.acm.org/doi/10.1145/3772363.3778736},
 year = {2026}
}

@inproceedings{mullerTowardAGeneralFramework2026,
 author = {Müller, Nicola J. and Rudolph, Naya and Taitler, Ayal and Gros, Timo P.},
 booktitle = {Workshop on Planning in the Era of LLMs at ICAPS-26},
 title = {Toward a General Framework for Evaluating Per-Domain Generalization Using LLMs, Theorem Provers, and Statistical Model Checking},
 url = {https://openreview.net/pdf?id=MLnzKKBdT4},
 year = {2026}
}

@inproceedings{mullerLearningPerDomainGeneralizingPolicies2025,
 author = {Nicola J. Müller and Moritz Oster and Timo P. Gros},
 booktitle = {Proceedings of the Ninth Workshop on Bridging the Gap Between AI Planning and (Reinforcement) Learning (PRL @ ICAPS 2025). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2025), located at ICAPS'25, November 10, Melbourne, Australia},
 month = {11},
 publisher = {AAAI Press},
 title = {Learning Per-Domain Generalizing Policies Using Offline Reinforcement Learning},
 url = {https://prl-theworkshop.github.io/prl2025-icaps/papers/11.pdf},
 year = {2025}
}

@inproceedings{grosPyDSMCStatisticalModelChecking2025,
 author = {Timo P. Gros and Arnd Hartmanns and Ivo Hoese and Joshua Meyer and Nicola J. Müller and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark},
 doi = {10.1007/978-3-032-05792-1_8},
 editor = {Pavithra Prabhakar and Andrea Vandin},
 isbn = {978-3-032-05791-4},
 month = {10},
 pages = {134-156},
 publisher = {Springer Nature, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-05792-1_8},
 volume = {16143},
 year = {2025}
}

@inproceedings{grosVisualAnalysisOfAction2025,
 author = {Timo P. Gros and David Groß and Julius Kamp and Stefan Gumhold and Jörg Hoffmann},
 booktitle = {World Conference on Explainable Artificial Intelligence. xAI: World Conference on Explainable Artificial Intelligence (xAI-2025), July 9-11, Istanbul, Turkey},
 month = {10},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving},
 year = {2025}
}

@inproceedings{eniserUsingActionPolicyTestingIn2025,
 author = {Hasan Ferit Eniser and Songtuan Lin and Nicola J. Müller and Anastasia Isychev and Valentin Wüstholz and Isabel Valera and Jörg Hoffmann and Maria Christakis},
 booktitle = {Proceedings of the Eighteenth International Symposium on Combinatorial Search. International Symposium on Combinatorial Search (SoCS-2025), August 12-15, Scotland, United Kingdom},
 doi = {10.1609/socs.v18i1.35990},
 editor = {Maxim Likhachev and Hana Rudová and Enrico Scala},
 isbn = {13 978-1-57735-901-2},
 month = {8},
 pages = {181-185},
 publisher = {AAAI Press, Washington, DC, USA},
 title = {Using Action-Policy Testing in RL to Reduce the Number of Bugs},
 url = {https://ojs.aaai.org/index.php/SOCS/article/view/35990},
 volume = {18},
 year = {2025}
}

@inproceedings{bingStructuralCausalBottleneckModels2025,
 author = {Simon Bing and Jonas Wahl and Jakob Runge},
 booktitle = {UAI 2025 Workshop on Causal Abstractions and Representations. Causal Abstractions and Representations (CAR), located at UAI 2025, July 25, Rio de Janeiro, Brazil},
 month = {6},
 publisher = {OpenReview},
 title = {Structural Causal Bottleneck Models},
 url = {https://openreview.net/forum?id=EFNvKMSITB},
 year = {2025}
}

@inproceedings{baumAggregationProblemsInMachine2025,
 author = {Kevin Baum and Marija Slavkovik},
 booktitle = {Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society (AIES-2025)},
 doi = {10.1609/aies.v8i1.36554},
 publisher = {AAAI/ACM},
 title = {Aggregation Problems in Machine Ethics and AI Alignment},
 url = {https://ojs.aaai.org/index.php/AIES/article/view/36554},
 year = {2025}
}

@inproceedings{ajanoviBridgingTheGapBetween2025,
 author = {Zlatan Ajanovi and Timo P. Gros and Floris Den Hengst and Daniel Holler and Harsha Kokel and Ayal Taitler},
 booktitle = {AAAI 2025 Workshop Proceedings (PRL Workshop). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2025), February 25},
 publisher = {AAAI Press},
 title = {Bridging the Gap Between AI Planning and Reinforcement Learning},
 url = {https://research.ibm.com/publications/bridging-the-gap-between-ai-planning-and-reinforcement-learning},
 year = {2025}
}

@inproceedings{baumDisentanglingAIAlignmentA2025,
 author = {Kevin Baum},
 booktitle = {AISoLA 2024. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024)},
 doi = {10.48550/arXiv.2506.06286},
 publisher = {Springer NAture Switzerland},
 title = {Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-01377-4_8},
 year = {2025}
}

@inproceedings{baumJustificationsForDemocratizingAI2025,
 author = {Kevin Baum and Andre Steingrüber},
 booktitle = {AISoLA 2025. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025)},
 publisher = {Springer Nature Switzerland},
 title = {Justifications for Democratizing AI Alignment and Their Prospects},
 url = {https://arxiv.org/abs/2507.19548},
 year = {2025}
}

@inproceedings{langerOnTheComplexitiesOf2025,
 author = {Markus Langer and Veronika Lazar and Kevin Baum},
 booktitle = {International Conference on Bridging the Gap between AI and Reality. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025)},
 pages = {160-169},
 publisher = {Springer Nature Switzerland},
 title = {On the Complexities of Testing for Compliance with Human Oversight Requirements in AI Regulation},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16858_978-3-032-07132-3.pdf},
 year = {2025}
}

@inproceedings{grosPerDomainGeneralizingPoliciesOn2025,
 author = {Timo P. Gros and Nicola J. Müller and Daniel Fiser and Isabel Valera and Verena Wolf and Jörg Hoffmann},
 booktitle = {The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia},
 publisher = {AAAI Press},
 title = {Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior},
 url = {https://doi.org/10.5281/zenodo.15314878},
 year = {2025}
}

@inproceedings{kerstanResponsibleAndTrustedAI2025,
 author = {Sophia Kerstan and Kevin Baum and Thorsten Helfer and Markus Langer and Eva Schmidt and Andreas Sesing-Wagenpfeil and Timo Speith},
 booktitle = {International Conference on Bridging the Gap between AI and Reality. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025)},
 pages = {141-145},
 publisher = {Springer Nature Switzerland},
 title = {Responsible and Trusted AI: An Interdisciplinary Perspective (2025)},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16856_978-3-032-07132-3.pdf},
 year = {2025}
}

@inproceedings{wahlSeparationBasedDistanceMeasuresFor2025,
 author = {Jonas Wahl and Jakob Runge},
 booktitle = {Proceedings of The 28th International Conference on Artificial Intelligence and Statistics. International Conference on Artificial Intelligence and Statistics (AISTATS-2025), May 3-5, Mai Khao, Thailand},
 pages = {3412-3420},
 publisher = {Proceedings of Machine Learning Research},
 title = {Separation-Based Distance Measures for Causal Graphs},
 url = {https://proceedings.mlr.press/v258/wahl25b.html},
 volume = {258},
 year = {2025}
}

@inproceedings{brouillardTheLandscapeOfCausal2025,
 author = {Philippe Brouillard and Chandler Squires and Jonas Wahl and Konrad Körding and Karen Sachs and Alexandre Drouin and Dhanya Sridhar},
 booktitle = {Proceedings of the Fourth Conference on Causal Learning and Reasoning. Conference on Causal Learning and Reasoning (CLeaR-2025)},
 organization = {PMLR},
 pages = {834-873},
 publisher = {MLResearchPress},
 title = {The Landscape of Causal Discovery Data: Grounding Causal Discovery in Real-World Applications},
 url = {https://proceedings.mlr.press/v275/brouillard25a},
 volume = {275},
 year = {2025}
}

@inproceedings{hermanUnitlessUnrestrictedMarkovConsistentSCM2025,
 author = {Rebecca J Herman and Jonas Wahl and Urmi Ninad and Jakob Runge},
 booktitle = {Proceedings of the Fourth Conference on Causal Learning and Reasoning. Conference on Causal Learning and Reasoning (CLeaR-2025)},
 pages = {1506-1531},
 publisher = {MLResearchPress},
 title = {Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal Discovery},
 url = {https://proceedings.mlr.press/v275/herman25a.html},
 volume = {275},
 year = {2025}
}

@inproceedings{finkbeinerCounterfactualExplanationsForMITL2024,
 author = {Bernd Finkbeiner and Felix Jahn and Julian Siber},
 booktitle = {44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-2024), December 16-18},
 doi = {10.4230/LIPIcs.FSTTCS.2024.22},
 editor = {Siddharth Barman and Slawomir Lasota},
 isbn = {978-3-95977-355-3},
 month = {12},
 pages = {22:1-22:25},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany},
 series = {Leibniz International Proceedings in Informatics, LIPIcs},
 title = {Counterfactual Explanations for MITL Violations},
 volume = {323},
 year = {2024}
}

@inproceedings{meyerMARSMultiSampleAllocationThrough2024,
 author = {Joshua Meyer and Alexander Rath and Ömercan Yazici and Philipp Slusallek},
 booktitle = {SIGGRAPH Asia 2024 Conference Papers. ACM SiggraphAsia (SigAsia-2024), December 3-6, Tokyo, Japan},
 doi = {10.1145/3680528.3687636},
 isbn = {9798400711312},
 month = {12},
 publisher = {Association for Computing Machinery, New York, NY, USA},
 series = {SA '24, SA '24},
 title = {MARS: Multi-sample Allocation through Russian roulette and Splitting},
 url = {https://doi.org/10.1145/3680528.3687636},
 year = {2024}
}

@inproceedings{helferResponsibleAndTrustedAI2024,
 author = {Thorsten Helfer and Kevin Baum and Andreas Sesing-Wagenpfeil and Eva Schmidt and Markus Langer},
 booktitle = {Bridging the Gap Between AI and Reality - Second International Conference, Proceedings. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), October 30 - November 3, Crete, Greece},
 doi = {10.1007/978-3-031-75434-0_3},
 edition = {1},
 editor = {Bernhard Steffen},
 isbn = {978-3-031-75433-3},
 month = {12},
 pages = {35-39},
 publisher = {Springer, Cham},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Responsible and Trusted AI: An Interdisciplinary Perspective},
 volume = {15217},
 year = {2024}
}

@inproceedings{baumTransparentTransparencyDevelopingA2024,
 author = {Deborah Baum and Kevin Baum and Sasha Zamani and Christian Bennoit and Dirk Werth},
 booktitle = {Bridging the Gap Between AI and Reality - Second International Conference, Proceedings. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), October 30 - November 3, Crete, Greece},
 doi = {10.1007/978-3-031-75434-0_5},
 edition = {1},
 editor = {Bernhard Steffen},
 isbn = {978-3-031-75433-3},
 month = {12},
 pages = {55-73},
 publisher = {Springer, Cham},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Transparent Transparency Developing a Scheme for Understanding Transparency Requirements},
 volume = {15217},
 year = {2024}
}

@inproceedings{baumTamingTheAIMonster2024,
 author = {Kevin Baum and Biewer Sebastian and Hermanns Holger and Hetmank Sven and Langer Markus and Lauber-Rönsberg Anne and Sterz Sarah},
 booktitle = {Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg},
 doi = {10.1007/978-3-031-66149-5_1},
 editor = {Thomas Neele and Anton Wijs},
 month = {10},
 pages = {3-25},
 publisher = {Springer Nature, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight},
 volume = {14624},
 year = {2024}
}

@inproceedings{bingIdentifyingLinearlyMixedCausalRepresentations2024,
 author = {Simon Bing and Urmi Ninad and Jonas Wahl and Jakob Runge},
 booktitle = {Proceedings of the Third Conference on Causal Learning and Reasoning. Conference on Causal Learning and Reasoning (CLeaR-2024)},
 editor = {Francesco Locatello and Vanessa Didelez},
 month = {4},
 pages = {843-867},
 publisher = {PMLR},
 series = {Proceedings of Machine Learning Research},
 title = {Identifying Linearly-Mixed Causal Representations from Multi-Node Interventions},
 url = {https://proceedings.mlr.press/v236/bing24a.html},
 volume = {236},
 year = {2024}
}

@inproceedings{sterzOnTheQuestFor2024,
 author = {Sarah Sterz and Kevin Baum and Sebastian Biewer and Holger Hermanns and Anne Lauber-Rönsberg and Philip Meinel and Markus Langer},
 booktitle = {Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency. ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT-2024), June 3-6, Rio de Janeiro, Brazil},
 doi = {10.1145/3630106.3659051},
 isbn = {979-8-4007-0450-5},
 pages = {2495-2507},
 publisher = {Association for Computing Machinery, New York, NY, USA},
 title = {On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives},
 url = {https://arxiv.org/abs/2404.04059},
 year = {2024}
}

@inproceedings{grosSafeReinforcementLearningThrough2024,
 author = {Timo P. Gros and Nicola J. Müller and Daniel Höller and Verena Wolf},
 booktitle = {Workshop on Reliable Data-Driven Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2024)},
 publisher = {Springer},
 title = {Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages},
 year = {2024}
}

@inproceedings{backenkohlerStructuralActivityPredictionModels2024,
 author = {Michael Backenköhler and Joschka Groß and Paula Linh Kramer and Verena Wolf and Andrea Volkamer},
 booktitle = {ICML'24 Workshop ML for Life and Material Science: From Theory to Industry Applications. International Conference on Machine Learning (ICML-2024)},
 publisher = {Openreview},
 title = {Structural activity prediction models recover known binding modes (Poster abstract)},
 url = {https://openreview.net/forum?id=9O27GTKm1B},
 year = {2024}
}

@inproceedings{forsterAComputationalCantorBernsteinAnd2023,
 author = {Yannick Forster and Felix Jahn and Gert Smolka},
 booktitle = {CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP-2023), January 16-17, Boston,, MA, USA},
 doi = {10.1145/3573105.3575690},
 isbn = {979-8-4007-0026-2},
 month = {1},
 pages = {159-166},
 publisher = {ACM},
 title = {A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory},
 url = {https://inria.hal.science/hal-03891390},
 year = {2023}
}

@inproceedings{forsterConstructiveAndSyntheticReducibility2023,
 author = {Yannick Forster and Felix Jahn},
 booktitle = {CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic. EACSL Annual Conference on Computer Science Logic (CSL), Warsaw, Poland},
 doi = {10.4230/LIPIcs.CSL.2023.16},
 pages = {1-21},
 publisher = {Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl Publishing},
 title = {Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-one and Truth-table Reducibility in Coq},
 url = {https://inria.hal.science/hal-03901942},
 year = {2023}
}

@inproceedings{solankiDoVocalBreathSounds2023,
 author = {Solanki, Mohammad Shaique and Bharadwaj, Ashutosh and Kylash, Jeevan and Ghosh, Prasanta Kumar},
 booktitle = {Proc. Interspeech 2023},
 pages = {5406--5410},
 title = {Do Vocal Breath Sounds Encode Gender Cues for Automatic Gender Classification?},
 year = {2023}
}

@inproceedings{caiIntelligentModelingAndSimulation2023,
 author = {Wentong Cai and Philipp Andelfinger and Luca Bortolussi and Christopher Carothers and Dong Kevin Jin and Till Köster and Michael Lees and Jason Liu and Margaret Loper and Alessandro Pellegrini and Wen Jun Tan and Verena Wolf},
 booktitle = {Dagstuhl-Seminar Report 22401. Dagstuhl Seminare/Workshops, Computer Science Methods for Effective and Sustainable Simulation Studies, October 3-7, Schloß Dagstuhl, Germany},
 doi = {10.4230/DagRep.12.10.1},
 pages = {44-46},
 publisher = {Schloss Dagstuhl-Leibniz-Zentrum für Informatik},
 series = {Dagstuhl Seminar Report},
 title = {Intelligent Modeling and Simulation Lifecycle},
 url = {https://www.dfki.de/fileadmin/user_upload/import/13355_dagrep_v012_i010_p001_22401.pdf},
 volume = {22401},
 year = {2023}
}

@inproceedings{baumNormativePerspectivesOnAnd2023,
 author = {Kevin Baum and Thorsten Helfer and Markus Langer and Eva Schmidt},
 booktitle = {AISoLA 2023. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2023), Kreta},
 publisher = {Springer Nature},
 title = {Normative Perspectives on and Societal Implications of AI Systems},
 url = {https://link.springer.com/book/10.1007/978-3-031-46002-9},
 year = {2023}
}

@inproceedings{baumXAIRequirementsInSmart2023,
 author = {Deborah Baum and Kevin Baum and Timo P. Gros and Verena Wolf},
 booktitle = {Explainable Artificial Intelligence, First World Conference, Proceedings, Part I. xAI: World Conference on Explainable Artificial Intelligence (xAI-2023), July 26-28, Lissabon, Portugal},
 doi = {10.1007/978-3-031-44064-9_1},
 editor = {Luca Longo},
 isbn = {978-3-031-44063-2},
 pages = {3-24},
 publisher = {Springer Nature Switzerland},
 series = {Communications in Computer and Information Science, CCIS},
 title = {XAI Requirements in Smart Production Processes: A Case Study},
 volume = {1901},
 year = {2023}
}

@inproceedings{eniserMetamorphicRelationsViaRelaxations2022,
 author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
 booktitle = {ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA-2022), July 18-22},
 doi = {10.1145/3533767.3534392},
 isbn = {978-1-4503-9379-9},
 month = {7},
 pages = {52-63},
 publisher = {ACM, New York, NY, USA},
 title = {Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing},
 year = {2022}
}

@inproceedings{steinmetzDebuggingAPolicyAutomatic2022,
 author = {Marcel Steinmetz and Daniel Fišer and Hasan Ferit Eniser and Patrick Ferber and Timo P. Gros and Philippe Heim and Daniel Höller and Xandra Schuler and Valentin Wüstholz and Maria Christakis and Jörg Hoffmann},
 booktitle = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2022), July 13-24},
 doi = {10.1609/icaps.v32i1.19820},
 editor = {Akshat Kumar and Sylvie Thiébaux and Pradeep Varakantham and William Yeoh},
 isbn = {978-1-57735-874-9},
 month = {6},
 pages = {353-361},
 publisher = {AAAI Press},
 series = {ICAPS conference series},
 title = {Debugging a Policy: Automatic Action-Policy Testing in AI Planning},
 volume = {32 (2022)},
 year = {2022}
}

@inproceedings{guntherConditionalIndependenceTestingWith2022,
 author = {Wiebke Günther and Urmi Ninad and Jonas Wahl and Jakob Runge},
 booktitle = {Advances in Neural Information Processing Systems 35. Neural Information Processing Systems (NeurIPS-2022), 36th Conference, November 28 - December 9},
 editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh},
 isbn = {9781713871088},
 pages = {16191-16202},
 publisher = {Curran Associates, Inc.},
 title = {Conditional Independence Testing with Heteroskedastic Data and Applications to Causal Discovery},
 url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/6739d8df16b5bce3587ca5f18662a6aa-Paper-Conference.pdf},
 year = {2022}
}

@inproceedings{grossGlyphBasedVisualAnalysisOf2022,
 author = {David Groß and Michaela Klauck and Timo P. Gros and Marcel Steinmetz and Joerg Hoffmann and Stefan Gumhold},
 booktitle = {International Conference on Information Visualisation (IV'22). International Conference on Information Visualisation (IV-2022), 26th International Conference on Information Visualisation, July 19-22, Vienna, Austria},
 doi = {10.1109/IV56949.2022.00011},
 isbn = {978-1-6654-9008-5},
 publisher = {IEEE},
 title = {Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack},
 year = {2022}
}

@inproceedings{grosMoGymUsingFormalModels2022,
 author = {Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Maximilian A Köhl and Verena Wolf},
 booktitle = {International Conference on Computer Aided Verification. International Conference on Computer Aided Verification (CAV)},
 doi = {10.1007/978-3-031-13188-2_21},
 isbn = {978-3-031-13188-2},
 organization = {Springer, Cham},
 pages = {430-443},
 publisher = {Springer Cham},
 title = {MoGym: Using Formal Models for Training and Verifying Decision-making Agents},
 year = {2022}
}

@inproceedings{grossmannEpidemicOverdispersionStrengthensThe2021,
 author = {Gerrit Großmann and Michael Backenköhler and Verena Wolf},
 booktitle = {HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2021), May 19-21, Nashville,, Tennesse, USA},
 doi = {10.1145/3447928.3457209},
 isbn = {978-1-4503-8339-4},
 month = {5},
 pages = {1-3},
 publisher = {ACM, New York, NY},
 title = {Epidemic overdispersion strengthens the effectiveness of mobility restrictions},
 year = {2021}
}

@inproceedings{backenkohlerAnalysisOfMarkovJump2021,
 author = {Michael Backenköhler and Luca Bortolussi and Gerrit Großmann and Verena Wolf},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2021), 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, March 27 - April 1, Luxembourg City, Luxembourg},
 doi = {10.1007/978-3-030-72016-2_12},
 edition = {1st},
 editor = {Jan Friso Groote and Kim Guldstrand Larsen and },
 isbn = {978-3-030-72016-2},
 month = {3},
 pages = {210-229},
 publisher = {Springer, Switzerland},
 title = {Analysis of Markov jump processes under terminal constraints},
 volume = {12651},
 year = {2021}
}

@inproceedings{backenkohlerAbstractionGuidedTruncationsForStationary2021,
 address = {Cham},
 author = {Backenköhler, Michael and Bortolussi, Luca and Großmann, Gerrit and Wolf, Verena},
 booktitle = {Quantitative Evaluation of Systems},
 editor = {Abate, Alessandro and Marin, Andrea},
 isbn = {978-3-030-85172-9},
 pages = {351--371},
 publisher = {Springer International Publishing},
 title = {Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models},
 year = {2021}
}

@inproceedings{steinmetzDebuggingAPolicyA2021,
 author = {Marcel Steinmetz and Timo P. Gros and Philippe Heim and Daniel Höller and Jörg Hoffmann},
 booktitle = {Bridging the Gap Between AI Planning and Reinforcement Learning (PRL) – Workshop at ICAPS 2021 (August 5-6). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2021), located at ICAPS 2021, August 5-6},
 pages = {1-10},
 publisher = {ICAPS},
 series = {PRL Workshop Series, PRL @ ICAPS},
 title = {Debugging a Policy: A Framework for Automatic Action Policy Testing},
 year = {2021}
}

@inproceedings{kirschInfoLabSaarSchulerlaborInformatik2021,
 author = {Nadine Kirsch and Kerstin Reese and Verena Wolf},
 booktitle = {INFORMATIK 2021 - Computer Science & Sustainability. Workshop: Für Informatik begeistern - vom Kindesalter bis zum Abitur (Informatik-Begeisterung-2), located at INFORMATIK 2021, September 27 - October 1, Berlin, Germany},
 doi = {10.18420/informatik2021-141},
 editor = {Nicht bekannt},
 isbn = {978-3-88579-708-1},
 pages = {1653-1656},
 publisher = {Gesellschaft für Informatik, Bonn},
 series = {Lecture Notes in Informatics, LNI},
 title = {InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes},
 volume = {P314},
 year = {2021}
}

@inproceedings{baierLabConditionsForResearch2021,
 author = {Christel Baier and Maria Christakis and Timo P. Gros and David Groß and Stefan Gumhold and Holger Hermanns and Jörg Hoffmann and Michaela Klauck},
 booktitle = {Trustworthy AI--Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4--5, 2020, Revised Selected Papers. Workshop on Foundations of Trustworthy AI integrating Learning, Optimisation and Reasoning (TAILOR-2020), located at First International Workshop, April 4-5, Virtual Event},
 organization = {Springer Nature},
 publisher = {Springer Nature},
 title = {Lab Conditions for Research on Explainable Automated Decisions},
 year = {2021}
}

@inproceedings{baumTowardsPerspicuityRequirements2021,
 author = {Kevin Baum and Sarah Sterz and Anne Lauber-Rönsberg and Holger Hermanns},
 booktitle = {2021 IEEE 29th International Requirements Engineering Conference Workshops (REW). IEEE International Requirements Engineering Conference (RE-2021)},
 doi = {10.1109/REW53955.2021.00029},
 pages = {159-163},
 publisher = {IEEE},
 title = {Towards Perspicuity Requirements},
 url = {https://ieeexplore.ieee.org/document/9582408},
 year = {2021}
}

@inproceedings{grosTraceVisTowardsVisualizationFor2021,
 author = {Timo P. Gros and David Groß and Stefan Gumhold and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz},
 booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020), 9th International Symposium on Leveraging Applications of Formal Method, October 20-30, Rhodes, Greece},
 organization = {Springer International Publishing},
 pages = {27-46},
 publisher = {Springer International Publishing},
 title = {TraceVis: towards visualization for deep statistical model checking},
 volume = {Part IV 9},
 year = {2021}
}

@inproceedings{grossmannLearningVaccineAllocationFrom2020,
 author = {Gerrit Großmann and Michael Backenköhler and Jonas Klesen and Verena Wolf},
 booktitle = {Complex Networks & Their Applications IX. International Conference on Complex Networks and their Applications (COMPLEX NETWORKS-2020), Proceedings of the Ninth International Conference on Complex Networks and Their Applications, December 1-3, Madrid, Spain},
 doi = {10.1007/978-3-030-65347-7_36},
 editor = {Rosa M. Benito and Chantal Cherifi and Hocine Cherifi and Esteban Moro and Luis Aurelio Rocha and Marta Sales-Pardo},
 isbn = {9783030653477},
 month = {12},
 pages = {432-443},
 publisher = {Springer International Publishing, Switzerland},
 title = {Learning Vaccine Allocation from Simulations},
 volume = {1},
 year = {2020}
}

@inproceedings{grossmannImportanceOfInteractionStructure2020,
 author = {Gerrit Großmann and Michael Backenköhler and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria},
 doi = {10.1007/978-3-030-59854-9_16},
 edition = {1st},
 editor = {Marco Gribaudo and David N. Jansen and Anne Remke},
 isbn = {9783030598549},
 month = {9},
 pages = {211-229},
 publisher = {Springer International Publishing, Switzerland},
 title = {Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study},
 volume = {12289},
 year = {2020}
}

@inproceedings{grosDeepStatisticalModelChecking2020,
 author = {Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz},
 booktitle = {Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta. Distributed Applications and Interoperable Systems: IFIP WG 6.1 International Conference (DAIS-2020), located at 5th International Federated Conference on Distributed Computing Techniques, June 15-19, Valetta, Malta},
 doi = {10.1007/978-3-030-50086-3_6},
 month = {6},
 organization = {Springer International Publishing},
 pages = {96-114},
 publisher = {Springer International Publishing},
 title = {Deep statistical model checking},
 year = {2020}
}

@inproceedings{backenkohlerBoundingMeanFirstPassage2020,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST), Cham},
 doi = {10.1007/978-3-030-59854-9_13},
 editor = {Marco Gribaudo and David N. Jansen and Anne Remke},
 isbn = {9783030598549},
 pages = {155-174},
 publisher = {Springer International Publishing},
 title = {Bounding Mean First Passage Times in Population Continuous-Time Markov Chains},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-59854-9_13},
 year = {2020}
}

@inproceedings{grosRealTimeDecisionMakingFor2020,
 author = {Timo P. Gros and Joschka Groß and Verena Wolf},
 booktitle = {2020 Winter Simulation Conference (WSC). Winter Simulation Conference (WSC-2020), December 14-18, Orlando,, FL, USA},
 doi = {10.1109/WSC48552.2020.9383884},
 pages = {3032-3044},
 publisher = {IEEE},
 title = {Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning},
 year = {2020}
}

@inproceedings{grossmannRejectionBasedSimulationOfNonMarkovian2020,
 address = {Cham},
 author = {Großmann, Gerrit and Bortolussi, Luca and Wolf, Verena},
 booktitle = {Complex Networks and Their Applications VIII},
 editor = {Cherifi, Hocine and Gaito, Sabrina and Mendes, José Fernendo and Moro, Esteban and Rocha, Luis Mateus},
 isbn = {978-3-030-36687-2},
 pages = {349--361},
 publisher = {Springer International Publishing},
 title = {Rejection-Based Simulation of Non-Markovian Agents on Complex Networks},
 year = {2020}
}

@inproceedings{grossmannRejectionBasedSimulationOfStochastic2019,
 author = {Gerrit Großmann and Verena Wolf},
 booktitle = {Hybrid Systems Biology - 6th International Workshop, Revised Selected Papers. International Workshop on Hybrid Systems Biology (HSB-2019), April 6-7, Prague, Czech Republic},
 doi = {10.1007/978-3-030-28042-0_5},
 editor = {Milan Češka and Nicola Paoletti},
 isbn = {978-3-030-28041-3},
 month = {8},
 pages = {63-79},
 publisher = {Springer Nature},
 series = {Lecture Notes in Bioinformatics, LNBI},
 title = {Rejection-Based Simulation of Stochastic Spreading Processes on Complex},
 volume = {11705},
 year = {2019}
}

@inproceedings{kyriakopoulosAHybridHMMApproach2019,
 address = {Cham},
 author = {Kyriakopoulos, Charalampos and Giehr, Pascal and Lück, Alexander and Walter, Jörn and Wolf, Verena},
 booktitle = {Hybrid Systems Biology},
 editor = {Češka, Milan and Paoletti, Nicola},
 isbn = {978-3-030-28042-0},
 pages = {117--131},
 publisher = {Springer International Publishing},
 title = {A Hybrid HMM Approach for the Dynamics of DNA Methylation},
 year = {2019}
}

@inproceedings{grosAMAZEingProgrammingProvidingSKILLs2019,
 author = {Timo P. Gros and Pascal L. Held and Pascal Lauer and O. Niklas Metzger and Kallistos Weis},
 booktitle = {SKILL 2019 - Studierendenkonferenz Informatik. Bonn: Gesellschaft für Informatik e.V., 2019. Studierendenkonferenz Informatik (SKILL-2019), September 25-26, Kassel, Germany},
 pages = {59-70},
 publisher = {Gesellschaft für Informatik, Bonn},
 title = {aMAZEing Programming - Providing SKILLs to Fellow Students},
 year = {2019}
}

@inproceedings{backenkohlerBoundingFirstPassageTimes2019,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology - 17th International Conference - Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2019), September 18-20, Trieste, Italy},
 doi = {10.1007/978-3-030-31304-3_31},
 editor = {Luca Bortolussi and Guido Sanguinetti},
 isbn = {9783030313043},
 pages = {379-382},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science, LNBI},
 title = {Bounding First Passage Times in Chemical Reaction Networks},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-31304-3_31},
 volume = {11773},
 year = {2019}
}

@inproceedings{backenkohlerControlVariatesForStochastic2019,
 address = {Cham},
 author = {Backenköhler, Michael and Bortolussi, Luca and Wolf, Verena},
 booktitle = {Computational Methods in Systems Biology},
 editor = {Bortolussi, Luca and Sanguinetti, Guido},
 isbn = {978-3-030-31304-3},
 pages = {42--59},
 publisher = {Springer International Publishing},
 title = {Control Variates for Stochastic Simulation of Chemical Reaction Networks},
 year = {2019}
}

@inproceedings{baumExplainabilityAsANonFunctional2019,
 author = {Kevin Baum and Maximilian Köhl and Markus Langer and Daniel Oster and Timo Speith and Dimitri Bohlender},
 booktitle = {2019 IEEE 27th International Requirements Engineering Conference (RE). IEEE International Requirements Engineering Conference (RE-2019)},
 doi = {10.1109/RE.2019.00046},
 pages = {363-368},
 publisher = {IEEE},
 title = {Explainability as a Non-Functional Requirement},
 url = {https://ieeexplore.ieee.org/document/8920711},
 year = {2019}
}

@inproceedings{baumInformatikunterrichtInDerGrundschuleErprobung2019,
 author = {Kevin Baum and Nadine Kirsch and Kerstin Reese and Pascal Schmidt and Lukas Wachter and Verena Wolf},
 booktitle = {18. GI-Fachtagung Informatik und Schule. Informatik für alle. GI-Fachtagung Informatik und Schule (INFOS-2019), September 16-18, Dortmund, Germany},
 editor = {Arno Pasternak},
 isbn = {978-3-88579-682-4},
 pages = {49-58},
 publisher = {Gesellschaft für Informatik e.V., Bonn},
 series = {Lecture Notes in Informatics, LNI},
 title = {Informatikunterricht in der Grundschule?-Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini.},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16855_b1.pdf},
 volume = {P-288},
 year = {2019}
}

@inproceedings{grossmannReducingSpreadingProcessesOn2019,
 address = {Cham},
 author = {Großmann, Gerrit and Bortolussi, Luca},
 booktitle = {Quantitative Evaluation of Systems},
 editor = {Parker, David and Wolf, Verena},
 isbn = {978-3-030-30281-8},
 pages = {292--309},
 publisher = {Springer International Publishing},
 title = {Reducing Spreading Processes on Networks to Markov Population Models},
 year = {2019}
}

@inproceedings{backenkohlerDataDrivenApproachTowardsA2018,
 author = {Michael Backenköhler and Felix Scherzinger and Adish Singla and Verena Wolf},
 booktitle = {Proceedings of the 11th International Conference on Educational Data Mining. International Conference on Educational Data Mining (EDM-2018), July 15-18, Buffalo,, NY, USA},
 editor = {Kristy Elizabeth Boyer and Michael Yudelson},
 pages = {246-246},
 publisher = {International Educational Data Mining Society},
 title = {Data-Driven Approach Towards a Personalized Curriculum},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16875_Data-Driven_Approach_Towards_a_Personalized_Curriculum.pdf},
 year = {2018}
}

@inproceedings{baumFromMachineEthicsTo2018,
 author = {Kevin Baum and Holger Hermanns and Timo Speith},
 booktitle = {International Symposium on Artificial Intelligence and Mathematics (ISAIM). International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018},
 publisher = {POWVER},
 title = {From Machine Ethics to Machine Explainability and Back},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16849_ISAIM2018_Ethics_Baum_etal.pdf},
 year = {2018}
}

@inproceedings{grossmannLumpingTheApproximateMaster2018,
 address = {Cham},
 author = {Großmann, Gerrit and Kyriakopoulos, Charalampos and Bortolussi, Luca and Wolf, Verena},
 booktitle = {Quantitative Evaluation of Systems},
 editor = {McIver, Annabelle and Horvath, Andras},
 isbn = {978-3-319-99154-2},
 pages = {157--172},
 publisher = {Springer International Publishing},
 title = {Lumping the Approximate Master Equation for Multistate Processes on Complex Networks},
 year = {2018}
}

@inproceedings{backenkohlerStudentPerformancePredictionAnd2018,
 author = {Michael Backenköhler and Verena Wolf},
 booktitle = {Software Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods (SEFM), Cham},
 doi = {10.1007/978-3-319-74781-1_3},
 editor = {Antonio Cerone and Marco Roveri},
 isbn = {9783319747811},
 pages = {40-47},
 publisher = {Springer International Publishing},
 title = {Student Performance Prediction and Optimal Course Selection: An MDP Approach},
 url = {https://link.springer.com/chapter/10.1007/978-3-319-74781-1_3},
 year = {2018}
}

@inproceedings{baumTwoChallengesForCI2017,
 author = {Kevin Baum and Maximilian Köhl and Eva Schmidt},
 booktitle = {Proceedings of the 1st Workshop on Explainable Computational Intelligence (XCI 2017). Explainable Computational Intelligence Workshop (XCI-2017), located at INLG 2017, September 4, Santiago de Compostela, Spain},
 doi = {10.18653/v1/W17-3701},
 editor = {M. Pereira-Fariña and C. Reed},
 month = {9},
 publisher = {Association for Computational Linguistics},
 title = {Two Challenges for CI Trustworthiness and How to Address Them},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16852_W17-3701.pdf},
 year = {2017}
}

@inproceedings{luckAStochasticModelFor2017,
 address = {Cham},
 author = {Lück, Alexander and Giehr, Pascal and Walter, Jörn and Wolf, Verena},
 booktitle = {Computational Methods in Systems Biology},
 editor = {Feret, Jérôme and Koeppl, Heinz},
 isbn = {978-3-319-67471-1},
 pages = {160--178},
 publisher = {Springer International Publishing},
 title = {A Stochastic Model for the Formation of Spatial Methylation Patterns},
 year = {2017}
}

@inproceedings{biewerTeachingAcademicConcurrencyTo2017,
 author = {Sebastian Biewer and
Felix Freiberger and
Pascal L. Held and
Holger Hermanns},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/birthday/BiewerFHH17.bib},
 booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
 doi = {10.1007/978-3-319-63121-9_9},
 editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ingólfsdóttir and
Axel Legay and
Radu Mardare},
 pages = {170--195},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Sun, 02 Oct 2022 15:55:45 +0200},
 title = {Teaching Academic Concurrency to Amazing Students},
 url = {https://doi.org/10.1007/978-3-319-63121-9_9},
 volume = {10460},
 year = {2017}
}

@inproceedings{backenkohlerGeneralizedMethodOfMoments2016,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2016), 14th International Conference, CMSB 2016, September 21-23, Cambridge, United Kingdom},
 doi = {10.1007/978-3-319-45177-0_2},
 editor = {Ezio Bartocci and Pietro Lio and Nicola Paoletti},
 isbn = {9783319451770},
 month = {9},
 pages = {15-29},
 publisher = {Springer International Publishing},
 title = {Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium},
 year = {2016}
}

@inproceedings{krugerHybridStochasticSimulationOf2016,
 author = {Thilo Krüger and Verena Wolf},
 booktitle = {Hybrid Systems Biology - 5th International Workshop, Proceedings. International Conference on Hybrid Systems Biology (HSB-2016), October 20-21, Grenoble, France},
 doi = {10.1007/978-3-319-47151-8_3},
 editor = {Eugenio Cinquemani and Alexandre Donzé},
 isbn = {9783319471518},
 month = {9},
 pages = {39-53},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Hybrid Stochastic Simulation of Rule-Based Polymerization Models},
 volume = {9957},
 year = {2016}
}

@inproceedings{krekhovMorphableUIAHypergraphBasedApproach2016,
 author = {Andrey Krekhov and Jürgen Grüninger and Kevin Baum and David McCann and Jens Krüger},
 booktitle = {WSCG 2016. Short Papers Proceedings - 24th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. International Conference on Computer Graphics, Visualization and Computer Vision (WSCG-2016), May 30 - June 3, Plzen, Czech Republic},
 editor = {Vaclav Skala},
 isbn = {978-80-86943-58-9},
 publisher = {Vaclav Skala - Union Agency, Brno},
 series = {Computer Science Research Notes, CSRN},
 title = {MorphableUI: A Hypergraph-Based Approach to Distributed Multimodal Interaction for Rapid Prototyping and Changing Environments},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16857_Krekhov.pdf},
 volume = {2602},
 year = {2016}
}

@inproceedings{baumWhatTheHackIs2016,
 author = {Kevin Baum},
 booktitle = {International Symposium on Leveraging Applications of Formal Methods. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2016)},
 pages = {633-647},
 publisher = {Springer International Publishing},
 title = {What the hack is wrong with software doping?},
 url = {https://link.springer.com/chapter/10.1007/978-3-319-47169-3_49},
 year = {2016}
}

@inproceedings{bockModelBasedWholeGenomeAnalysisOf2015,
 author = {Christoph Bock and Luca Bortolussi and Thilo Krüger and Linar Mikeev and Verena Wolf},
 booktitle = {Hybrid Systems Biology - Fourth International Workshop. Revised Selected Papers. International Conference on Hybrid Systems Biology (HSB-2015), September 4-5, Madrid, Spain},
 doi = {10.1007/978-3-319-26916-0_8},
 editor = {Alessandro Abate and David Šafránek},
 isbn = {9783319269160},
 month = {9},
 pages = {141-155},
 publisher = {Springer International Publishing, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Model-Based Whole-Genome Analysis of DNA Methylation Fidelity},
 volume = {9271},
 year = {2015}
}

@inproceedings{mikeevNumericalApproximationOfRare2013,
 author = {Linar Mikeev and Werner Sandmann and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2013), 11th International Conference, CMSB 2013, September 22-24, Klosterneuburg, Austria},
 doi = {10.1007/978-3-642-40708-6_2},
 edition = {1st},
 editor = {Ashutosh Gupta and Thomas A. Henzinger},
 isbn = {9783642407086},
 month = {9},
 pages = {5-18},
 publisher = {Springer, Berlin, Heidelberg},
 title = {Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems},
 volume = {8130},
 year = {2013}
}

@inproceedings{spielerEfficientSteadyStateAnalysis2013,
 author = {David Spieler and Verena Wolf},
 booktitle = {Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium},
 doi = {10.1007/978-3-642-39408-9_27},
 editor = {Alexander Dudin and Koen De Turck},
 isbn = {9783642394089},
 month = {7},
 pages = {380-395},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Efficient Steady State Analysis of Multimodal Markov Chains},
 year = {2013}
}

@inproceedings{angiusApproximateTransientAnalysisOf2013,
 author = {Alessio Angius and András Horváth and Verena Wolf},
 booktitle = {Analytical and Stochastic Modeling Techniques and Applications - 20th International Conference, Proceedings. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), July 8-10, Ghent, Belgium},
 doi = {10.1007/978-3-642-39408-9_3},
 editor = {Alexander Dudin and Koen De Turck},
 isbn = {9783642394089},
 pages = {22-36},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Approximate Transient Analysis of Queuing Networks by Quasi Product Forms},
 url = {https://link.springer.com/chapter/10.1007/978-3-642-39408-9_3},
 volume = {7984},
 year = {2013}
}

@inproceedings{mikeevParameterEstimationForStochastic2012,
 author = {Linar Mikeev and Verena Wolf},
 booktitle = {HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2012), April 17-19, Beijing, China},
 doi = {10.1145/2185632.2185657},
 isbn = {9781450312202},
 month = {4},
 pages = {155-166},
 publisher = {ACM, New York, NY},
 title = {Parameter estimation for stochastic hybrid models of biochemical reaction networks},
 year = {2012}
}

@inproceedings{angiusQuasiProductFormApproximation2012,
 author = {Alessio Angius and András Horváth and Verena Wolf},
 booktitle = {Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. International Workshop on Computational Models for Cell Processes (CompMod-2011), 3rd Workshop, September 10, Aachen, Germany},
 doi = {10.1007/978-3-642-35524-0_2},
 editor = {Corrado Priami and Ion Petre and Erik de Vink},
 isbn = {978-3-642-35524-0 (online)},
 pages = {26-52},
 publisher = {Springer, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Quasi Product Form Approximation for Markov Models of Reaction Networks},
 url = {https://link.springer.com/chapter/10.1007/978-3-642-35524-0_2},
 volume = {7625},
 year = {2012}
}

@inproceedings{mikeevEfficientCalculationOfRare2011,
 author = {Linar Mikeev and Werner Sandmann and Verena Wolf},
 booktitle = {VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France},
 doi = {10.4108/icst.valuetools.2011.245597},
 editor = {Samson Lasaulce and Dieter Fiems and Pete Harrison and Luc Vandendorpe},
 isbn = {978-1-936968-09-1},
 month = {5},
 pages = {186-196},
 publisher = {ACM},
 title = {Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks},
 year = {2011}
}

@inproceedings{lapinSHAVEStochasticHybridAnalysis2011,
 author = {Maksim Lapin and Linar Mikeev and Verena Wolf},
 booktitle = {HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago,, IL, USA},
 doi = {10.1145/1967701.1967746},
 isbn = {978-1-4503-0629-4},
 month = {4},
 pages = {311-312},
 publisher = {ACM},
 title = {SHAVE: stochastic hybrid analysis of markov population models},
 year = {2011}
}

@inproceedings{dayarOnTheNumericalAnalysis2010,
 author = {Tuğrul Dayar and Linar Mikeev and Verena Wolf},
 booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology. Computer Aspects of Numerical Algorithms (CANA-2010), located at IMCSIT 2010, October 18-20, Wisla, Poland},
 doi = {10.1109/IMCSIT.2010.5680059},
 editor = {M. Ganzha and M. Paprzycki},
 isbn = {978-83-60810-27-9},
 month = {10},
 pages = {289-296},
 publisher = {IEEE},
 title = {On the numerical analysis of stochastic Lotka-Volterra models},
 volume = {5},
 year = {2010}
}

@inproceedings{henzingerHybridNumericalSolutionOf2010,
 author = {Thomas A. Henzinger and Linar Mikeev and Maria Mateescu and Verena Wolf},
 booktitle = {Proceedings of the 8th International Conference on Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2010), Proceedings of the 8th International Conference on Computational Methods in Systems Biology, September 29 - October 1, Trento, Italy},
 doi = {10.1145/1839764.1839772},
 isbn = {9781450300681},
 month = {9},
 pages = {55-65},
 publisher = {ACM, USA},
 title = {Hybrid numerical solution of the chemical master equation},
 year = {2010}
}

@inproceedings{katoenAbstractionForStochasticSystems2008,
 author = {Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf},
 booktitle = {CONCUR 2008 - Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2008), 19th International Conference, CONCUR 2008, August 19-22, Toronto, Canada},
 doi = {10.1007/978-3-540-85361-9_24},
 edition = {1st},
 editor = {Franck van Breugel and Marsha Chechik},
 isbn = {9783540853619},
 month = {8},
 pages = {279-294},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Abstraction for Stochastic Systems by Erlang's Method of Stages},
 volume = {5201},
 year = {2008}
}

@inproceedings{sandmannComputationalProbabilityForSystems2008,
 author = {Werner Sandmann and Verena Wolf},
 booktitle = {Formal Methods in Systems Biology - First International Workshop, Proceedings. International Workshop on Formal Methods in Systems Biology (FMSB-2008), June 4-5, Cambridge, United Kingdom},
 doi = {10.1007/978-3-540-68413-8_3},
 edition = {1},
 editor = {Jasmin Fisher},
 isbn = {9783540684138},
 month = {6},
 pages = {33-47},
 publisher = {Springer, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Computational Probability for Systems Biology},
 volume = {5054},
 year = {2008}
}

@inproceedings{majstercederbaumInteractionModelsForBiochemical2007,
 author = {Mila Majster-Cederbaum and Nils Semmelrock and Verena Wolf},
 booktitle = {Proceedings of the 2007 International Conference on Bioinformatics & Computational Biology, BIOCOMP 2007. International Conference on Bioinformatics & Computational Biology (BioComp-07), June 25-28, Las Vegas,, NV, USA},
 editor = {Hamid R. Arabnia},
 pages = {480-486},
 publisher = {CSREA Press},
 title = {Interaction Models for Biochemical Reactions},
 year = {2007}
}

@inproceedings{buschANumericalAggregationAlgorithm2006,
 author = {Hauke Busch and Werner Sandmann and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy},
 doi = {10.1007/11885191_21},
 edition = {1},
 editor = {Corrado Priami},
 isbn = {9783540461678},
 month = {10},
 pages = {298-311},
 publisher = {Springer, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion},
 volume = {4210},
 year = {2006}
}

@inproceedings{baierStochasticReasoningAboutChannelBased2006,
 author = {Christel Baier and Verena Wolf},
 booktitle = {Coordination Models and Languages - 8th International Conference, Proceedings. International Conference on Coordination Languages and Models (Coordination-06), June 14-16, Bologna, Italy},
 doi = {10.1007/11767954_1},
 edition = {1},
 editor = {Paolo Ciancarini and Herbert Wiklicky},
 isbn = {9783540346951},
 month = {6},
 pages = {1-15},
 publisher = {Springer Nature},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Stochastic Reasoning About Channel-Based Component Connectors},
 volume = {4038},
 year = {2006}
}

@inproceedings{fecherDontKnowInProbabilistic2006,
 author = {Harald Fecher and Martin Leucker and Verena Wolf},
 booktitle = {Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria},
 doi = {10.1007/11691617_5},
 edition = {1st},
 editor = {Antti Valmari},
 isbn = {9783540331032},
 month = {3},
 pages = {71-88},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Don't Know in Probabilistic Systems},
 year = {2006}
}

@inproceedings{wolfComparativeLinearTimeSemanticsOn2004,
 author = {Verena Wolf and Christel Baier},
 booktitle = {Proceedings of the 16th Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, October 6-8, Uppsala, Sweden},
 editor = {Paul Pettersson and Wang Yi},
 month = {10},
 pages = {80-82},
 publisher = {Department of Information Technology, Uppsala University},
 series = {Technical Report},
 title = {Comparative Linear-Time Semantics on Action-Labelled Continuous-Time Markov Chains},
 volume = {2004-041},
 year = {2004}
}