Alexander Greger

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Formal Verification

Program Slicing

Rule Based Systems

Top Venues

Publications

Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian
Formal verification of deadlock avoidance rules for AGV systems. MED (2022)