- Global Identifiability of Differential Models Hoon Hong Alexey Ovchinnikov Gleb Pogudin Chee Yap Mon 16 March 2026
- Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation Zheming Wang Raphael M. Jungers Wed 26 November 2025
- Flag Algebras: A First Glance Marcel K. de Carli Silva Fernando Mário de Oliveira Filho Cristiane Maria Sato Fri 04 July 2025
- Turing in the shadows of Nobel and Abel: an algorithmic story behind two recent prizes David Gamarnik Wed 29 January 2025
- The Subspace Flatness Conjecture and Faster Integer Programming Victor Reis Thomas Rothvoss Thu 01 August 2024
- Generating Series for Networks of Chen-Fliess Series W. Steven Gray Kurusch Ebrahimi-Fard Thu 29 February 2024
- Combinatorics-Based Approaches to Controllability Characterization for Bilinear Systems Gong Cheng Wei Zhang -Shin Jr Li Thu 08 February 2024
- Zero-Sum Games and Linear Programming Duality Bernhard von Stengel Thu 22 June 2023
- Computing real radicals by moment optimization Lorenzo Baldi Bernard Mourrain Thu 20 October 2022
- The variance-penalized stochastic shortest path problem Jakob Piribauer Ocan Sankur Christel Baier Sat 30 April 2022
- Transience in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 05 January 2021
- Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower Mrudula Balachander Shibashis Guha Jean-François Raskin Sat 18 July 2020
- Detectability of labeled weighted (max-plus) automata Kuize Zhang Fri 26 June 2020
- Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis Grigory Devadze Victor Magron Stefan Streif Mon 22 June 2020
- On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Mohan Dantam Amaury Pouly Mon 22 June 2020
- FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis Anshumali Shrivastava Moshe Y. Vardi Zhiwei Zhang Tue 03 March 2020
- On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Mon 18 March 2019
Library Size: 13G (17 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
