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


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