bibliographer - Holger Hermanns

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Automata-Based CSL Model Checking Lijun Zhang David N. Jansen Flemming Nielson Holger Hermanns [github]

On the Foundations of Cycles in Bayesian Networks Christel Baier Clemens Dubslaff Holger Hermanns Nikolai Kafer [github]

On the probabilistic bisimulation spectrum with silent moves Christel Baier Pedro R. D'Argenio Holger Hermanns [github]

The 10,000 Facets of MDP Model Checking Christel Baier Holger Hermanns Joost-Pieter Katoen [github]

Sigref: A Symbolic Bisimulation Tool Box Ralf Wimmer Marc Herbstritt Holger Hermanns Kelley Strampp Bernd Becker [github]

Probabilistic Bisimulation: Naturally on Distributions Holger Hermanns Jan Krčál Jan Křetínský [github]

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time Holger Hermanns Andrea Turrini [github]

Model Checking Continuous-Time Markov Chains by Transient Analysis Christel Baier Boudewijn Haverkort Holger Hermanns Joost-Pieter Katoen [github]

Compositional Bisimulation Minimization for Interval Markov Decision Processes Vahid Hashemi Holger Hermanns Lei Song K. Subramani Andrea Turrini Piotr Wojciechowski [github]

Probabilistic CEGAR Holger Hermanns Björn Wachter Lijun Zhang [github]

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes Christel Baier Holger Hermanns Joost-Pieter Katoen Boudewijn R. Haverkort [github]

Library Size: 13G (11 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]