Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Balasubramanian, A. R., Esparza, Javier, Raskin, Mikhail
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
A Stay-in-a-Set Game without a Stationary Equilibrium
Hansen, Kristoffer Arnsfelt, Raskin, Mikhail
Published in Electronic proceedings in theoretical computer science (18.09.2019)
Published in Electronic proceedings in theoretical computer science (18.09.2019)
Get full text
Journal Article
Affine Extensions of Integer Vector Addition Systems with States
Blondin, Michael, Haase, Christoph, Mazowiecki, Filip, Raskin, Mikhail
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
Computing Parameterized Invariants of Parameterized Petri Nets
Esparza, Javier, Raskin, Mikhail, Welzel, Christoph
Published in Fundamenta informaticae (01.01.2022)
Published in Fundamenta informaticae (01.01.2022)
Get full text
Journal Article
The complexity of verifying population protocols
Esparza, Javier, Jaax, Stefan, Raskin, Mikhail, Weil-Kennedy, Chana
Published in Distributed computing (01.04.2021)
Published in Distributed computing (01.04.2021)
Get full text
Journal Article
Abduction of trap invariants in parameterized systems
Esparza, Javier, Raskin, Mikhail, Welzel, Christoph
Published in Electronic proceedings in theoretical computer science (17.09.2021)
Published in Electronic proceedings in theoretical computer science (17.09.2021)
Get full text
Journal Article
The Complexity of Reachability in Affine Vector Addition Systems with States
Get full text
Paper
Journal Article