Minimizing the number of successor states in the stubborn set method
Fundamenta Informaticae
Towards ambitious approximation algorithms in stubborn set optimization
Fundamenta Informaticae - Concurrency specification and programming
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
Hi-index | 0.00 |