Cited By
View all- Asadi AChatterjee KSvoboda JSaona Urmeneta RSobocinski PLago UEsparza J(2024)Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary WeightsProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662080(1-12)Online publication date: 8-Jul-2024
- Bak SDohmen TSubramani KTrivedi AVelasquez AWojciechowski P(2024)The hexatope and octatope abstract domains for neural network verificationFormal Methods in System Design10.1007/s10703-024-00457-y64:1-3(178-199)Online publication date: 17-Jun-2024
- Christ MYannakakis MSaha BServedio R(2023)The Smoothed Complexity of Policy Iteration for Markov Decision ProcessesProceedings of the 55th Annual ACM Symposium on Theory of Computing10.1145/3564246.3585220(1890-1903)Online publication date: 2-Jun-2023
- Show More Cited By