- The inverted Pendulum: A fundamental Benchmark in Control Theory and Robotics Olfa Boubaker Wed 11 February 2026
- Algorithmic Verification of Continuous and Hybrid Systems Oded Maler Wed 09 August 2023
- Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties Jun Liu Wed 26 May 2021
- On the Skolem Problem for Continuous Linear Dynamical Systems Ventsislav Chonev Joel Ouaknine James Worrell Tue 30 April 2019
- 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 (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
