Algebraic and Logical Foundations of Computer Science
From International Center for Computational Logic
Algebraic and Logical Foundations of Computer Science
- Contact Christel Baier
- Secretary secretary_alg@mailbox.tu-dresden.de
The chair of Algebraic and Logical Foundations of Computer Science researches the modeling, specification and verification of reactive systems. The focus is on the formal analysis and synthesis of stochastic systems and on explainability in the context of formal methods. Further areas of research include automata theory, temporal and modal logics, game theory and dynamic systems.
Professors and Research Group Leaders
Management
Scientific Staff
Newest Publications
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices
Proceedings of the AAAI Conference on Artificial Intelligence, 2024. AAAI Press
Details
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes
Logical Methods in Computer Science, 20(1), 2024
Details
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions
In Erika Ábrahám and Manuel Mazo Jr., eds., Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 22:1--22:11, 2024. ACM
Details
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations
In Rupak Majumdar and Alexandra Silva, eds., 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada, volume 311 of LIPIcs, 37:1--37:19, August 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers
In Nils Jansen and Sebastian Junges and Benjamin Lucien Kaminski and Christoph Matheja and Thomas Noll and Tim Quatmann and Mariëlle Stoelinga and Matthias Volk, eds., Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, volume 15261 of Lecture Notes in Computer Science, 293--313, 2024. Springer
Details
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Lazy model checking for recursive state machines
Software and Systems Modeling, 1-33, 2024
Details
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
In Jane Hillston and Sadegh Soudjani and Masaki Waga, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996 of Lecture Notes in Computer Science, 1--18, 2024. Springer
Details
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency
In Steffen, Bernhard, eds., Bridging the Gap Between AI and Reality, 188--214, 2023. Springer Nature Switzerland
Details
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions
In Antonis Achilleos and Dario Della Monica, eds., Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023, volume 390 of EPTCS, 132--149, 2023
Details
Courses
Lecture “Advanced Logics” (SS 2025)
Christel Baier • (4/2/0) SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL
CMS Research Project “Model Checking” (SS 2025)
Sascha Klüppelholz • (0/0/12) SWS • in English
Modules: CMS-PRO
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (SS 2025)
Christel Baier • (0/0/8) SWS • in German or English
Modules: INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS 2025)
Christel Baier • (0/0/4) SWS • in German or English
Modules: INF-MA-PR
Lab Course “Modeling and Automated Verification” (SS 2025)
Christel Baier • (0/2/0) SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, MCL-PS
Profilprojekt “Research Project Formal Methods” (SS 2025)
Christel Baier • (0/0/8) SWS • in German or English
Modules: INF-PM-FPG
Proseminar “Theoretische Informatik” (SS 2025)
Sascha Klüppelholz • (0/2/0) SWS • in German
Modules: INF-B-610, INF-D-520
Proseminar „Binäre Entscheidungsgraphen“ (SS 2025)
Sascha Klüppelholz • (0/2/0) SWS • in German
Modules: INF-B-610, INF-D-520
Research Seminar “Formal Methods” (SS 2025)
Christel Baier • (0/2/0) SWS • in English
Modules: INF-PM-FOR
Seminar “Selected Topics in Logic and Verification” (SS 2025)
Christel Baier • (0/2/0) SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM, INF-AQUA, INF-D-940, MCL-PS, INF-B-510, INF-B-520
Team Project “Model Checking” (SS 2025)
Sascha Klüppelholz • (0/0/8) SWS • in English
Modules: CMS-LM-TEA
