10 citations · 17 across the 9 of their papers we have counts for
4 papers · 1 filter
Canonical Representations for Direct Generation of Strategies in High-level Petri Games
Manuel Gieseking, Nick Würdemann
Petri games are a multi-player game model for the synthesis of distributed systems with multiple concurrent processes based on Petri nets. The processes are the players in the game…
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (Full Version)
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch +1
In the synthesis of distributed systems, we automate the development of distributed programs and hardware by automatically deriving correct implementations from formal specificatio…
A Web Interface for Petri Nets with Transits and Petri Games
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
Developing algorithms for distributed systems is an error-prone task. Formal models like Petri nets with transits and Petri games can prevent errors when developing such algorithms…
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)
Manuel Gieseking, Nick Würdemann
Petri games are a multi-player game model for the synthesis problem in distributed systems, i.e., the automatic generation of local controllers. The model represents causal memory…