Tim Leys

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Continuous Domains

Computational Framework

Top Venues

ACM Trans. Comput. Log.

Publications

Tim Leys, Guillermo A. Pérez
Inform: From Compartmental Models to Stochastic Bounded Counter Machines. CoRR (2024)
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha
A Framework for the Competitive Analysis of Model Predictive Controllers. RP (2023)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
The Geometry of Reachability in Continuous Vector Addition Systems with States. MFCS (2023)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-counter Automata. ACM Trans. Comput. Log. 24 (1) (2023)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
The Geometry of Reachability in Continuous Vector Addition Systems with States. CoRR (2022)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-Counter Automata. CoRR (2021)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-Counter Automata. LICS (2021)