- CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations Alexey Ovchinnikov Isabel Pérez Verona Gleb Pogudin Mirco Tribastone Mon 16 March 2026
- Employing observability rank conditions for taking into account experimental information a priori Alejandro F. Villaverde Thu 12 March 2026
- Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation Zheming Wang Raphael M. Jungers Wed 26 November 2025
- On Symmetries in Analytic Input-Output Systems W. Steven Gray Erik I. Verriest Fri 21 February 2025
- An Interval Arithmetic Approach to Input-Output Reachability Ivan Perez Avellaneda Luis A. Duffaut Espinosa Fri 21 February 2025
- Formal Power Series Approach to Nonlinear Systems with Additive Static Feedback Subbarao Venkatesh Guggilam W. Steven Gray Sat 25 January 2025
- Parameter Dependent Chen--Fliess Series and Their Nonrecursive Interconnections W. Steven Gray Natalie Pham Wed 15 January 2025
- Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly Nathanael Fijalkow Hugo Gimbert Florian Horn Guillermo A. Pérez Pierre Vandenhove Mon 06 January 2025
- Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer Sun 23 June 2024
- Learning Algorithms for Verification of Markov Decision Processes Tomáš Brázdil Krishnendu Chatterjee Martin Chmelik Vojtěch Forejt Jan Křetínský Marta Kwiatkowska Tobias Meggendorfer David Parker Mateusz Ujma Tue 02 April 2024
- On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems Tomáš Masopust Petr Osička Sun 03 March 2024
- Generating Series for Networks of Chen-Fliess Series W. Steven Gray Kurusch Ebrahimi-Fard Thu 29 February 2024
- A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems Bai Xue Sat 30 December 2023
- Solving Odd-Fair Parity Games Irmak Sağlam Anne-Kathrin Schmuck Thu 26 October 2023
- A General Verification Framework for Dynamical and Control Models via Certificate Synthesis Alec Edwards Andrea Peruffo Alessandro Abate Thu 21 September 2023
- Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives Jan Křetínský Tobias Meggendorfer Maximilian Weininger Fri 28 April 2023
- Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Mon 16 August 2021
- Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
- Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems Jawher Jerray Laurent Fribourg Thu 12 August 2021
- Robust optimal control using dynamic programming and guaranteed Euler's method Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
- Constructing invariant tori using guaranteed Euler method Jawher Jerray Laurent Fribourg Mon 26 July 2021
- Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey Abolfazl Lavaei Sadegh Soudjani Alessandro Abate Majid Zamani Fri 07 May 2021
- Extraction of a computer-certified ODE solver Grigory Devadze Lars Flessing Stefan Streif Thu 08 April 2021
- Deciding ømega-Regular Properties on Linear Recurrence Sequences Shaull Almagor Toghrul Karimov Edon Kelmendi Jøel Ouaknine James Worrell Fri 30 October 2020
- Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game Rupak Majumdar Anne-Kathrin Schmuck Mon 06 July 2020
- On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Mohan Dantam Amaury Pouly Mon 22 June 2020
- On Decidability of Time-bounded Reachability in CTMDPs Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Sat 13 June 2020
- Automated Formal Synthesis of Lyapunov Neural Networks Alessandro Abate Daniele Ahmed Mirco Giacobbe Andrea Peruffo Sat 21 March 2020
- Decisiveness of Stochastic Systems and its Application to Hybrid Models Patricia Bouyer Thomas Brihaye Mickael Randour Cédric Rivière Pierre Vandenhove Tue 14 January 2020
Library Size: 13G (29 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
