25 citations · 97 across the 30 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 1 cited
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
Simon Bliudze, Saddek Bensalem
This volume contains the proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018), held on the 15th of April, 2018 in Thessalonik…
cs.LO2018
Left-eigenvectors are certificates of the Orbit Problem
Steven de Oliveira, Virgile Prevosto, Peter Habermehl +1
This paper investigates the connexion between the Kannan-Lipton Orbit Problem and the polynomial invariant generator algorithm PILA based on eigenvectors computation. Namely, we re…