Torsten Liebke

Solving E (φUψ) using the CEGAR Approach

Torsten Liebke, Karsten Wolf, 2019, PNSE@Petri Nets/ACSD.

Verification of Token-Scaling Models using an Under-Approximation

Torsten Liebke, Karsten Wolf, 2020, PNSE@Petri Nets.

Presentation of the 9th Edition of the Model Checking Contest

Fabrice Kordon, Gianfranco Ciardo, Jirí Srba, 2019, TACAS.

Faster Enabledness-Updates for the Reachability Graph Computation

Torsten Liebke, Christian Rosenke, 2020, PNSE@Petri Nets.

Büchi-Automata guided Partial Order Reduction for LTL

Torsten Liebke, Torsten Liebke, 2020, PNSE@Petri Nets.

Taking Some Burden Off an Explicit CTL Model Checker

Torsten Liebke, Karsten Wolf, 2019, Petri Nets.

MCC'2017 - The Seventh Model Checking Contest

Fabrice Kordon, Marco Beccuti, Jirí Srba, 2018, Trans. Petri Nets Other Model. Concurr..

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach

Torsten Liebke, Karsten Wolf, 2021, Trans. Petri Nets Other Model. Concurr..