- Partial-Observation Stochastic Games: How to Win when Belief Fails Krishnendu Chatterjee Laurent Doyen Wed 05 November 2014
- An O(N2) Time Algorithm for Alternating Buchi automata Krishnendu Chatterjee Monika Henzinger Tue 08 April 2014
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
