- Random Deterministic Automata With One Added Transition Arnaud Carayol Philippe Duchon Florent Koechlin Cyril Nicaud Fri 14 February 2025
- Reachability for Multi-Priced Timed Automata with Positive and Negative Rates Andrew Scoones Mahsa Shirmohammadi James Worrell Thu 13 February 2025
- Simple Linear Loops: Algebraic Invariants and Applications Rida Ait El Manssour George Kenison Mahsa Shirmohammadi Anton Varonka Thu 13 February 2025
- Non-causal Fliess operators and their shuffle algebra W. Steven Gray Yuan Wang Wed 12 February 2025
- The formal Laplace-Borel transform, Fliess operators and the composition product Yaqin Li W. Steven Gray Wed 12 February 2025
- Minimality and local state decompositions of a nonlinear state space realization using energy functions W. Steven Gray J. M. A. Scherpen Wed 12 February 2025
- Local realization of linear and nonlinear time-varying systems Michel Fliess Wed 12 February 2025
- A New Setting for Polynomial Continuous-Time Systems, and a Realization Theorem Zbigniew Bartosiewicz Tue 11 February 2025
- Construction of formal and analytic realizations of nonlinear systems B. Jakubczyk Tue 11 February 2025
- Local and Minimal Realization of Nonlinear Dynamical Systems and Lyndon Words G. Jacob N. Oussous Tue 11 February 2025
- A Finiteness Criterion for Nonlinear InputOutput Differential Systems Michel Fliess Ivan Kupka Mon 10 February 2025
- Bilinear system interconnections and generating series of weighted Petri nets W. Steven Gray Heber Herencia-Zapana Luis A. Duffaut Espinosa Oscar R. González Mon 10 February 2025
- Weighted Petri nets and polynomial dynamical systems Mikhail Foursov Christiane Hespel Mon 10 February 2025
- Bilinear realizability is equivalent to existence of a singular affine differential i/o equation Eduardo D. Sontag Mon 10 February 2025
- A formula for iterated derivatives along trajectories of nonlinear systems F. Lamnabhi-Lagarrigue P.E. Crouch Mon 10 February 2025
- On two definitions of observation spaces Yuan Wang Eduardo D. Sontag Mon 10 February 2025
- Weighted Petri nets and polynomial dynamical systems Mikhail V. Foursov Christiane Hespel Mon 10 February 2025
- On cascades of bilinear systems and generating series of weighted Petri nets W. Steven Gray Heber Herencia-Zapana Luis A. Duffaut Espinosa Oscar R. Gonzalez Mon 10 February 2025
- On computational properties of chains of recurrences Eugene V. Zima Mon 10 February 2025
- STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving Kefan Dong Tengyu Ma Sat 08 February 2025
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
