Christoph Haase
Home
Biography
Publications
Students
Contact
Michael Blondin
Latest
Affine Extensions of Integer Vector Addition Systems with States
Directed Reachability for Infinite-State Systems
The Reachability Problem for Two-Dimensional Vector Addition Systems with States
Affine Extensions of Integer Vector Addition Systems with States
Logics for continuous reachability in Petri nets and vector addition systems with states
The Logical View on Continuous Petri Nets
Approaching the Coverability Problem Continuously
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
Cite
×