CeTI
From International Center for Computational Logic
CeTI
Centre for Tactile Internet with Human-in-the-Loop
- Contact Frank Fitzek
- https://ceti.one/
- since 2019
- funded by DFG
The vision of CeTI, a Cluster of Excellence at the University of Technology Dresden, is to enable people to interact with cyber-physical systems in the real or virtual world via intelligent communication networks and systems in near real time.
Such advances go far beyond the current state-of-the-art approaches in computer and engineering sciences: intelligent communication networks and adaptive CPS for quasi real-time co-operations with humans require online mutual learning mechanisms, which are crucial challenges.
To tackle these challenges, CeTI will conduct unique interdisciplinary research and will address major open research topics in key areas of the complexity of human control in the human–machine loop, sensor and actuator technologies, software and hardware designs, and the communication networks as the basis for several novel use cases grouped in medicine, industry, and the Internet of Skills.
This page only shows the activity of ICCL researchers in CeTI. Many further information can be found on the official website of the cluster of excellence.
Journal Articles
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes
Logical Methods in Computer Science, 20(1), 2024
Details
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Entropic risk for turn-based stochastic games
Information and Computation, 301:105214, 2024
Details
Proceedings Articles
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
In Ruzica Piskac, Zvonimir Rakamarić, eds., Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II, volume 15932 of Lecture Notes in Computer Science (LNCS), 56-81, July 2025. Springer
Details Download
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 195--218, August 2025. Springer
Details
Caros E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Sound Statistical Model Checking for Probabilities and Expected Rewards
In Arie Gurfinkel, Marijn Heule, eds., LNCS, volume 15696, 167-190, 2025. Springer Nature Switzerland
Details
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 83--94, August 2025. Springer
Details
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean
In Yannick Forster, Chantal Keller, eds., 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of Leibniz International Proceedings in Informatics (LIPIcs), 36:1-36:19, September 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean (Extended Abstract)
KR 2025 - Recently Published Research Track, November 2025
Details Download
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
About the Multi-Head Linear Restricted Chase Termination
In Magdalena Ortiz,Renata Wassermann,Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), volume 22 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 346-355, October 2025. IJCAI Organization
Details Download
Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024
Details Download
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, Maximilian Starke
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures
In Rupak Majumdar, Alexandra Silva, eds., 35th International Conference on Concurrency Theory (CONCUR 2024), volume 311 of Leibniz International Proceedings in Informatics (LIPIcs), 9:1-9:20, 2024. Schloss Dagstuhl – Leibniz-Zentrum für Informatik
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
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
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
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download
