No. Title Author Year
1 Simulation by Rounds of Letter-To-Letter Transducers Abu Nassar, Antonio et al. 2022
2 Coverability in 1-VASS with Disequality Tests Almagor, Shaull et al. 2020
3 Invariants for Continuous Linear Dynamical Systems Almagor, Shaull et al. 2020
4 Parametrized Universality Problems for One-Counter Nets Almagor, Shaull et al. 2020
5 Process Symmetry in Probabilistic Transducers Almagor, Shaull 2020
6 The Semialgebraic Orbit Problem Almagor, Shaull et al. 2019
7 Effective Divergence Analysis for Linear Recurrence Sequences Almagor, Shaull et al. 2018
8 O-Minimal Invariants for Linear Loops Almagor, Shaull et al. 2018
9 The Polytope-Collision Problem Almagor, Shaull et al. 2017
10 High-Quality Synthesis Against Stochastic Environments Almagor, Shaull et al. 2016
11 Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis Almagor, Shaull et al. 2016
12 Repairing Multi-Player Games Almagor, Shaull et al. 2015
13 The Sensing Cost of Monitoring and Synthesis Almagor, Shaull et al. 2015
14 Regular Sensing Almagor, Shaull et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 14


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI