Skip To Main Content
Logical Foundations on Muck Rack

Logical Foundations

Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Logical Foundations’s profile

Articles by Logical Foundations

Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata

|
By Christel Baier, Logical Foundations, Sascha Klüppelholz
| tu-dresden.de
Abstract Title 37th International Conference on Concurrency Theory, CONCUR 2026 Duration 1 - 4 September 2026 City Liverpool Country United Kingdom Keywords Discrete-time Markov Chains, Families of Finite Automata, FDFA, Probabilistic Model Checking, Unambiguous Automata, Verification
Open in Who Shared Issue with article?

Features and Arguments: A Probabilistic Perspective

|
By Nikolai Käfer, Logical Foundations
| tu-dresden.de
Details Original language English Qualification level Dr.-Ing. Awarding Institution Supervisors/Advisors Defense Date (Date of certificate) 11 May 2026 Publication status Published - 12 Aug 2026 No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis
Open in Who Shared Issue with article?

Linear dynamical systems with weight functions

|
By Rajab Aghamov, Logical Foundations, Christel Baier
| tu-dresden.de
In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to model quantitative aspects, such as resource consumption, of a system modelled by an LDS.
Open in Who Shared Issue with article?

Stop Gambling! It Just Takes Too Long

|
By Sascha Klüppelholz, Logical Foundations, Jakob Piribauer
| tu-dresden.de
Bertrand, N., Dubslaff, C. & Klüppelholz, S. , 2026 , Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer, Cham , p. vi 1 p. (Lecture Notes in Computer Science, Vol. 15760). Research output: Contribution to book/Conference proceedings/Anthology/Report › Foreword/Postscript › Contributed › peer-review
Open in Who Shared Issue with article?

What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes

|
By Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft, Logical Foundations
| tu-dresden.de
Abstract Title Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems Abbreviated title QEST+FORMATS Conference number Duration 26 - 28 August 2025 Website Degree of recognition International event Location City Aarhus Country Denmark Keywords Probabilistic verification, Statistical model checking, Markov decision processes, Confidence intervals
Open in Who Shared Issue with article?

Tailoring binary decision diagram compilation for feature models

|
By Clemens Dubslaff, Nils Husung, Nikolai Käfer, Logical Foundations
| tu-dresden.de
Dubslaff, C., Husung, N. & Käfer, N. , 2 Sept 2024 , SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Cordy, M., Struber, D., Pinto, M., Groher, I., Dhungana, D., Krüger, J., Alves Pereira, J., Acher, M., Thüm, T., ter Beek, M. H., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Ternava, X., Galindo, J. A., Yue, T., Fuentes, L. & Horcas, J. M. (eds.). Association for Computing Machinery (ACM) , Vol. A . p. 209-216 8 p.
Open in Who Shared Issue with article?

Model Checking Markov Chains as Distribution Transformers.

|
By Logical Foundations, Christel Baier, Toghrul Karimov, Rajab Aghamov
| tu-dresden.de
Model Checking Markov Chains as Distribution Transformers. Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Open in Who Shared Issue with article?

Positivity-hardness results on Markov decision processes.

|
By Jakob Piribauer, Logical Foundations, Christel Baier
| tu-dresden.de
Positivity-hardness results on Markov decision processes. Research output: Contribution to journal › Research article › Contributed › peer-review
Open in Who Shared Issue with article?

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

|
By Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft, Logical Foundations
| tu-dresden.de
Wienhöft, P. (Speaker) 2 Mar 2025 Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Open in Who Shared Issue with article?

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact.

|
By Christel Baier, Logical Foundations, Calvin V. Chau, Sascha Klüppelholz
| tu-dresden.de
Details Original language Undefined Publisher Zenodo Repo Publication status Published - 2024 Peer-reviewed No No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.OtherContribution
Open in Who Shared View Duplicates (3) Issue with article?

Entropic risk for turn-based stochastic games

|
By Christel Baier, Logical Foundations, TUD Dresden, Krishnendu Chatterjee
| tu-dresden.de
Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an exponential re-weighting of rewards. We study ERisk for the first time in the context of turn-based stochastic games with the total reward objective. This gives rise to an objective function that demands the control of systems in a risk-averse manner. We show that the resulting games are determined and, in particular, admit optimal memoryless deterministic strategies.
Open in Who Shared Issue with article?

Integrating regional climatology, ecology, and agronomy for impact analysis and climate change adaptation of German agriculture: An introduction to the LandCaRe2020 project

|
By M. Berg, Logical Foundations, B. Köstner, K.-O. Wenkel
| tu-dresden.de
Integrating regional climatology, ecology, and agronomy for impact analysis and climate change adaptation of German agriculture: An introduction to the LandCaRe2020 project Research output: Contribution to journal › Research article › Contributed › peer-review
Open in Who Shared Issue with article?

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

|
By Christel Baier, Logical Foundations, Calvin V. Chau, Sascha Klüppelholz
| tu-dresden.de
Certifying verification algorithms not only return whether a given property holds or not, but also provide an accompanying independently checkable certificate and a corresponding witness. The certificate can be used to easily validate the correctness of the result and the witness provides useful diagnostic information, e.g. for debugging purposes. Thus, certificates and witnesses substantially increase the trustworthiness and understandability of the verification process.
Open in Who Shared Issue with article?

CPrAA - A Checker for Probabilistic Abstract Argumentation

|
By Nikolai Käfer, Logical Foundations
| tu-dresden.de
CPrAA – A Checker for Probabilistic Abstract Argumentation Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Open in Who Shared Issue with article?

10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis: Proceedings of Dagstuhl Seminar 10031

|
By Christel Baier, Logical Foundations, Manfred Droste
| tu-dresden.de
Baier, C. (Organiser), Droste, M. (Organiser), Gastin, P. (Organiser), Larsen, K. G. (Organiser) 17 Jan 2010 → 22 Jan 2010 Activity: Organising or participating in an event › Organising an event
Open in Who Shared Issue with article?

Quantitative Analysis under Fairness Constraints

|
By Christel Baier, Logical Foundations, Marcus Groesser
| tu-dresden.de
Abstract Title 7th International Symposium on Automated Technology for Verification and Analysis Abbreviated title ATVA 2009 Conference number Duration 14 - 16 October 2009 Website Degree of recognition International event Location City Macao Country China
Open in Who Shared Issue with article?

Stochastic Game Logic

|
By Christel Baier, Logical Foundations, Tomáš Brázdil
| tu-dresden.de
Abstract Title 4th International Conference on the Quantitative Evaluation of SysTems Abbreviated title QEST 2007 Duration 16 - 19 September 2007 Website Degree of recognition International event City Edinburgh Country United Kingdom Keywords Stochastic processes, Probabilistic logic, Stochastic systems, Informatics, Upper bound, Automata
Open in Who Shared Issue with article?

Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007

|
By Christel Baier, Logical Foundations, Farhad Arbab
| tu-dresden.de
Baier, C. (Programme committee chair), Arbab, F. (Programme committee chair) 3 Sept 2007 → 4 Sept 2007 Activity: Organising or participating in an event › Organising an event
Open in Who Shared Issue with article?
Show More