Search results
From MaRDI portal
- 2019-05-17 Paper A constructor-based reachability logic for rewrite theories 2018-09-06 Paper One-Path Reachability Logic 2017-07-03 Paper Language definitions...10 bytes (16 words) - 20:30, 12 December 2023
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing 2021-12-13 Paper Reachability analysis of nonlinear systems using hybridization...10 bytes (17 words) - 01:01, 10 December 2023
- of semantic segmentation neural networks using relaxed reachability 2022-03-25 Paper Reachability analysis for high-index linear differential algebraic...10 bytes (18 words) - 01:15, 13 December 2023
- 2015-02-19 Paper An upper bound of the reachability index for a special class of positive 2-D systems 2009-09-07 Paper Reachability indices of periodic positive...10 bytes (18 words) - 00:50, 11 December 2023
- Decomposition and reachability 1990-01-01 Paper Reachability matrix by partitioning and related Boolean results 1989-01-01 Paper Reachability matrix and relation...10 bytes (18 words) - 18:47, 9 December 2023
- 2018-02-16 Paper Optimal reachability in cost time Petri nets 2017-12-01 Paper Let's be lazy, we have time -- or, lazy reachability analysis for timed automata...10 bytes (16 words) - 16:25, 11 December 2023
- trees 2017-10-11 Paper On the Complexity of L-reachability* 2017-07-28 Paper Space Complexity of Reachability Testing in Labelled Graphs 2017-06-01 Paper...10 bytes (20 words) - 02:08, 12 December 2023
- Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations 2003-08-18 Paper On Ellipsoidal Techniques for Reachability Analysis. Part II:...10 bytes (19 words) - 15:02, 7 December 2023
- polynomial maps 2012-06-11 Paper Reachability, persistence, and constructive chemical reaction networks. I: Reachability approach to the persistence of chemical...10 bytes (18 words) - 09:04, 9 December 2023
- behaviors 2010-11-22 Paper Reachability Analysis for Different Classes of Positive Systems 2010-03-04 Paper k-Switching Reachability Sets of Continuous-Time...10 bytes (19 words) - 17:18, 6 December 2023
- mean payoff in energy Markov decision processes 2018-10-25 Paper Zero-reachability in probabilistic multi-counter automata 2018-04-23 Paper Long-Run Average...10 bytes (16 words) - 11:27, 11 December 2023
- 2022-07-21 Paper Integer weighted automata on infinite words 2022-03-25 Paper Reachability problems in low-dimensional nondeterministic polynomial maps over integers...10 bytes (16 words) - 01:20, 13 December 2023
- bisimulation equivalence 2020-02-24 Paper Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States 2020-01-24 Paper State-space...10 bytes (16 words) - 02:05, 9 December 2023
- 2019-10-16 Paper Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) 2019-05-02 Paper Reachability problems in nondeterministic polynomial...10 bytes (16 words) - 23:24, 9 December 2023
- Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations 2003-08-18 Paper On Ellipsoidal Techniques for Reachability Analysis. Part II:...10 bytes (19 words) - 14:19, 8 December 2023
- Type Nice reachability for planar bilinear control systems with applications to planar linear switched systems 2017-08-08 Paper Nice reachability for planar...10 bytes (19 words) - 15:14, 12 December 2023
- 1991-01-01 Paper The reachability cones of essentially nonnegative matrices 1991-01-01 Paper Discrete approximations to reachability cones of linear differential...10 bytes (18 words) - 16:01, 6 December 2023
- Checking Static Properties Using Conservative SAT Approximations for Reachability 2022-11-04 Paper The Automatic Detection of Token Structures and Invariants...10 bytes (16 words) - 10:29, 11 December 2023
- Control and Reachability Toolbox Using Kernel Methods 2024-02-21 Paper State-based confidence bounds for data-driven stochastic reachability using Hilbert...10 bytes (20 words) - 23:42, 24 September 2023
- Publication Date of Publication Type Reachability of standard and fractional continuous-time systems with constant inputs 2020-10-12 Paper Analysis of...10 bytes (16 words) - 02:07, 12 December 2023