Browse wiki
From International Center for Computational Logic
Die Forschungsgruppe ''Algebraische und lo … Die Forschungsgruppe ''Algebraische und logische Grundlagen der Informatik'' beschäftigt sich mit der Modellierung, Spezifikation und Verifikation reaktiver Systeme. Zu den Forschungsschwerpunkten gehören die formale Analyse und Synthese stochastischer Systeme sowie Konzepte der Erklärbarkeit im Kontext formaler Methoden. Weitere Forschungsthemen sind Automatentheorie, temporale und modale Logiken, Spieltheorie und dynamische Systeme.iken, Spieltheorie und dynamische Systeme. +
The chair of ''Algebraic and Logical Found … 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.l logics, game theory and dynamic systems. +
secretary_alg@mailbox.tu-dresden.de +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Algebraische und logische Grundlagen der Informatik +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
17. März 2025, 11:59:43 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +, Algebraische und logische Grundlagen der Informatik +...
A Categorical Characterization of Consistency Results +, A Compositional Framework for Controller Synthesis +, A Hardware/Software Stack for Heterogeneous Systems +, A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +, A Spectrum of Approximate Probabilistic Bisimulations +, A note on the attractor-property of infinite-state Markov chains +, A uniform framework for modeling and verifying components and connectors +, A uniform framework for weighted decision diagrams and its implementation +, Admissibility in Probabilistic Argumentation +, Admissibility in Probabilistic Argumentation +, Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata +, Rajab Aghamov +, Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata +, Alternating-Time Stream Logic for Multi-agent Systems +, Alternating-time stream logic for multi-agent systems +, Approximate Symbolic Model Checking of Continuous-Time Markov Chains +, Are Good-for-Games Automata Good for Probabilistic Model Checking? +, Automated Performance and Dependability Evaluation Using Model Checking +, Automatic Verification of Liveness Properties of Randomized Systems +
