Manuel Gieseking

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 19

Top Topics

Temporal Properties

Top Venues

Acta Informatica

Publications

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL (2022)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR (2021)
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
A Web Interface for Petri Nets with Transits and Petri Games. CoRR (2021)
Manuel Gieseking, Nick Würdemann
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version). CoRR (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Correction to: Solving high-level Petri games. Acta Informatica 58 (6) (2021)
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
A Web Interface for Petri Nets with Transits and Petri Games. TACAS (2) (2021)
Manuel Gieseking, Nick Würdemann
Canonical Representations for Direct Generation of Strategies in High-level Petri Games. CoRR (2021)
Manuel Gieseking, Nick Würdemann
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. Petri Nets (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog
High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning (2021)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Branching Properties on Petri Nets with Transits. ATVA (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR (2020)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) (2020)
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Solving high-level Petri games. Acta Informatica 57 (3-5) (2020)
Manuel Gieseking, Ernst-Rüdiger Olderog
High-Level Representation of Benchmark Families for Petri Games. CoRR (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Data Flows in Concurrent Network Updates. ATVA (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR (2019)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV (2017)
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog
Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) (2015)