- Vector Certificates for -regular Specifications Mohammed Adib Oumer Vishnu Murali Majid Zamani Wed 04 March 2026
- Rademacher Complexity of Neural ODEs via Chen-Fliess Series Joshua Hanson Maxim Raginsky Fri 11 October 2024
- The tractability frontier for NFA minimization Henrik Bjørklund Wim Martens Fri 22 June 2018
- Minimization of Tree Pattern Queries Wojciech Czerwinski Wim Martens Matthias Niewerth Pawel Parys Wed 11 January 2017
- Stochastic Shortest Path Games Stephen D. Patek Dimitri P. Bertsekas Mon 24 February 2014
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
