„reachability“

Suchergebnisse

1.000+ Treffer

• Partial Order Reduction for Reachability Games
  Bønneland, Frederik Meyer ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Muñiz, Marco ; Srba, Jiří 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability problems for continuous chemical reaction networks
  Case, Adam ; Lutz, Jack H. ; Stull, D. M.
• The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds
  Bringmann, Karl ; Grønlund, Allan ; Künnemann, Marvin ; Larsen, Kasper Green
• Reachability, observability, and minimality for shift-invariant two-point boundary-value descriptor systems
  Nikoukhah, Ramine ; Willsky, Alan S. ; Levy, Bernard C.
• Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
  Bak, Stanley ; Bogomolov, Sergiy ; Hencey, Brandon ; Kochdumper, Niklas ; Lew, Ethan ; Potomkin, Kostiantyn
• Mapping the coupling between tract reachability and cortical geometry of the human brain
  Li, Deying ; Zalesky, Andrew ; Wang, Yufan ; Wang, Haiyan ; Ma, Liang ; Cheng, Luqi ; Banaschewski, Tobias ; Barker, Gareth J. ; Bokde, Arun L. W. ; Brühl, Rüdiger ; Desrivières, Sylvane ; Flor, Herta ; Garavan, Hugh ; Gowland, Penny ; Grigis, Antoine ; Heinz, Andreas ; Lemaître, Hervé ; Martinot, Jean-Luc ; Paillère Martinot, Marie-Laure ; Artiges, Eric ; Nees, Frauke ; Orfanos, Dimitri Papadopoulos ; Poustka, Luise ; Smolka, Michael ; Vaidya, Nilakshi ; Walter, Henrik ; Whelan, Robert ; Schumann, Gu
• Fixed Point Certificates for Reachability and Expected Rewards in MDPs
  Chatterjee, Krishnendu ; Quatmann, Tim ; Schäffeler, Maximilian ; Weininger, Maximilian ; Winkler, Tobias ; Zilken, Daniel 2025 Universitätsbibliothek der RWTH Aachen
• Affine Extensions of Integer Vector Addition Systems with States
  Blondin, Michael ; Haase, Christoph ; Mazowiecki, Filip 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Graph Queries
  Muñoz, Pablo ; Vortmeier, Nils ; Zeume, Thomas 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Span-reachability querying in large temporal graphs
  Wen, Dong ; Yang, Bohua ; Zhang, Ying ; Qin, Lu ; Cheng, Dawei ; Zhang, Wenjie
• Pairs of k-step reachability and m-step observability matrices
  Ferrante, Augusto ; Wimmer, Harald K. 2025 Universität Würzburg
• Bilinear characterizations of companion matrices
  Lin, Minghua ; Wimmer, Harald K. 2025 Universität Würzburg
• ZonoReach: A Reachability-Guided Controller Using Zonotopes and Local Hamilton–Jacobi Analysis
  El-Hajj, Isabelle ; van Beers, Jasper ; Solanki, Prashant
• Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
  Wetzlinger, Mark Peter Christoph ; Althoff, Matthias ; Putot, Sylvie ; Frehse, Goran 2024 Universitätsbibliothek der TU München
• Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles
  Irani Liu, Edmond ; Althoff, Matthias ; Kowalewski, Stefan 2024 Universitätsbibliothek der TU München
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Safety Verification of Real-Time Control Systems with Flexible Timing
  Gaukler, Maximilian ; Roppenecker, Günter ; Ulbrich, Peter ; Konigorski, Ulrich 2023 FAU University Press
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems
  Schürmann, Bastian ; Althoff, Matthias ; Lohmann, Boris 2022 Universitätsbibliothek der TU München
• Using Reachability Analysis for Motion Planning of Autonomous Vehicles in Complex Traffic Situations
  Manzinger, Stefanie ; Althoff, Matthias ; Lienkamp, Markus 2021 Universitätsbibliothek der TU München