A Multi-Core Solver for Parity Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
Electronic Notes in Theoretical Computer Science (ENTCS)
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Efficient state-based analysis by introducing bags in Petri nets color domains
ACC'09 Proceedings of the 2009 conference on American Control Conference
Local abstraction-refinement for the mu-calculus
Proceedings of the 14th international SPIN conference on Model checking software
Hi-index | 0.00 |