Search results for "reachability"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue 0001, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu	UR4NNV: Neural Network Verification, Under-approximation Reachability Works!	CoRR	2024	DBLP DOI BibTeX RDF
11	Ilia Muravev	Optimization of the Context-Free Language Reachability Matrix-Based Algorithm.	CoRR	2024	DBLP DOI BibTeX RDF
11	Bartosz Kaczmarski, Derek E. Moulton, Alain Goriely, Ellen Kuhl	Minimal activation with maximal reach: Reachability clouds of bio-inspired slender manipulators.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jonathan B. Michaux, Qingyi Chen, Challen Enninful Adu, Jinsun Liu, Ram Vasudevan	Reachability-based Trajectory Design via Exact Formulation of Implicit Neural Signed Distance Functions.	CoRR	2024	DBLP DOI BibTeX RDF
11	Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol	On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).	CoRR	2024	DBLP DOI BibTeX RDF
11	Michael Elkin, Chhaya Trehan	Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication.	CoRR	2024	DBLP DOI BibTeX RDF
11	Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001	Multiple Reachability in Linear Dynamical Systems.	CoRR	2024	DBLP DOI BibTeX RDF
11	Will Sharpless, Yat Tin Chow, Sylvia L. Herbert	State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability.	CoRR	2024	DBLP DOI BibTeX RDF
11	Ziqi Yang, Roberto Tron	Enhancing Security in Multi-Robot Systems through Co-Observation Planning, Reachability Analysis, and Network Flow.	CoRR	2024	DBLP DOI BibTeX RDF
11	Akash Harapanahalli, Saber Jafarpour, Samuel Coogan 0001	immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.	CoRR	2024	DBLP DOI BibTeX RDF
11	Shuai Li, Chaoyi Chen, Haotian Zheng, Jiawei Wang, Qing Xu 0010, Keqiang Li	Robust Data-EnablEd Predictive Leading Cruise Control via Reachability Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
11	Marina Ivanovic, François Wirz, Jordi Subirà Nieto, Adrian Perrig	Charting Censorship Resilience & Global Internet Reachability: A Quantitative Approach.	CoRR	2024	DBLP DOI BibTeX RDF
11	Juho Bae, Ji Hoon Bai, Byung-Yoon Lee, Jun-Yong Lee, Chang-Hun Lee	Connections between Reachability and Time Optimality.	CoRR	2024	DBLP DOI BibTeX RDF
11	Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke	Memoryless Strategies in Stochastic Reachability Games.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jonathan B. Michaux, Adam Li, Qingyi Chen, Che Chen, Bohao Zhang, Ram Vasudevan	Safe Planning for Articulated Robots Using Reachability-based Obstacle Avoidance With Spheres.	CoRR	2024	DBLP DOI BibTeX RDF
11	Daoliang He, Pingpeng Yuan, Hai Jin 0001	Answering reachability queries with ordered label constraints over labeled graphs.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
11	Changyong Yu, Tianmei Ren, Wenyu Li, Huimin Liu, Haitao Ma, Yuhai Zhao	BL: An Efficient Index for Reachability Queries on Large Graphs.	IEEE Trans. Big Data	2024	DBLP DOI BibTeX RDF
11	Amir Abboud, Greg Bodwin	Reachability Preservers: New Extremal Bounds and Approximation Algorithms.	SIAM J. Comput.	2024	DBLP DOI BibTeX RDF
11	Sayan Mitra	Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts.	HSCC	2024	DBLP DOI BibTeX RDF
11	Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li 0005	A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.	HSCC	2024	DBLP DOI BibTeX RDF
11	Eric Goubault, Sylvie Putot	Inner and outer approximate quantifier elimination for general reachability problems.	HSCC	2024	DBLP DOI BibTeX RDF
11	Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati	Falsification using Reachability of Surrogate Koopman Models.	HSCC	2024	DBLP DOI BibTeX RDF
11	Andrei Draghici, Christoph Haase, Andrew Ryzhikov	Reachability in Fixed VASS: Expressiveness and Lower Bounds.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
11	Yue Guan, Mohammad Afshari, Panagiotis Tsiotras	Zero-Sum Games between Mean-Field Teams: Reachability-Based Analysis under Mean-Field Sharing.	AAAI	2024	DBLP DOI BibTeX RDF
11	Ayumi Igarashi 0001, Naoyuki Kamiyama, Warut Suksompong, Sheung Man Yuen	Reachability of Fair Allocations via Sequential Exchanges.	AAAI	2024	DBLP DOI BibTeX RDF
11	Michal Bortkiewicz, Jakub Lyskawa, Pawel Wawrzynski, Mateusz Ostaszewski, Artur Grudkowski, Bartlomiej Sobieski, Tomasz Trzcinski	Subgoal Reachability in Goal Conditioned Hierarchical Reinforcement Learning.	ICAART (1)	2024	DBLP DOI BibTeX RDF
11	James C. A. Main	Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games.	STACS	2024	DBLP DOI BibTeX RDF
11	Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol	On-The-Fly Algorithm for Reachability in Parametric Timed Games.	TACAS (3)	2024	DBLP DOI BibTeX RDF
11	Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan	Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
11	Jiaxu Tian, Dapeng Zhi, Si Liu 0003, Peixin Wang, Guy Katz, Min Zhang 0002	Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.	VMCAI (2)	2024	DBLP DOI BibTeX RDF
11	Andreas Gienger, Charlotte Stein, Anja Patricia Regina Lauer, Oliver Sawodny, Cristina Tarín	Data-Based Reachability Analysis and Optimized Robot Positioning for Co-Design of Construction Processes.	SII	2024	DBLP DOI BibTeX RDF
11	Zheng Gong, Muhan Zhao, Thomas Bewley, Sylvia L. Herbert	Constructing Control Lyapunov-Value Functions Using Hamilton-Jacobi Reachability Analysis.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	James Ferlez, Yasser Shoukry	Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Yuhao Zhang 0005, Hang Zhang, Xiangru Xu	Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Michael Everett, Rudy Bunel, Shayegan Omidshafiei	DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Bhagyashree Umathe, Duvan Tellez-Castro, Umesh Vaidya	Reachability Analysis Using Spectrum of Koopman Operator.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Chong He, Zheng Gong, Mo Chen, Sylvia L. Herbert	Efficient and Guaranteed Hamilton-Jacobi Reachability via Self-Contained Subsystem Decomposition and Admissible Control Sets.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
11	Paraschos Koutris, Shaleen Deep	The Fine-Grained Complexity of CFL Reachability.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
11	Yuanbo Li, Qirun Zhang, Thomas W. Reps	Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
11	Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang	Historia: Refuting Callback Reachability with Message-History Logics.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
11	Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang	Recursive State Machine Guided Graph Folding for Context-Free Language Reachability.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
11	Hiroyuki Katsura, Naoki Kobayashi 0001, Ryosuke Sato 0001	Higher-Order Property-Directed Reachability.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
11	Qing Xu 0010, Yicong Liu, Jian Pan, Jiawei Wang 0001, Jianqiang Wang 0003, Keqiang Li	Reachability Analysis Plus Satisfiability Modulo Theories: An Adversary-Proof Control Method for Connected and Autonomous Vehicles.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
11	Zhanyou Ma, Yingnan Gao, Zhaokai Li, Xia Li, Ziyuan Liu	Quantitative reachability analysis of generalized possibilistic decision processes.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
11	Zhuo Li, Shiqi Li, Ke Han, Xiao Li, Youjun Xiong, Zheng Xie	Planning Multi-fingered Grasps with Reachability Awareness in Unrestricted Workspace.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
11	Xuejiao Yang, Bowen Mu, Dillard Robertson, Joseph K. Scott	Guaranteed Safe Path and Trajectory Tracking via Reachability Analysis Using Differential Inequalities.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
11	Xiangyu Jia, Shuo Li	Parameterized Reachability Graph for Software Model Checking Based on PDNet.	Comput. Informatics	2023	DBLP DOI BibTeX RDF
11	Sam Procter	The OSATE Slicer: Graph-Based Reachability for Architectural Models.	J. Object Technol.	2023	DBLP DOI BibTeX RDF
11	Shiqi Li, Sian Zhou, Li Yin, Rongtian Jiang	Robust Diagnosability Analysis Using Basis Reachability Graph.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Fei Gao, Cheng Luo, Fangyuan Shi, Xianqing Chen, Zhenhai Gao, Rui Zhao 0021	Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Seyoung Kim, Jaeha Kim	Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Weina Niu, Yihang Wang, Xingyu Liu, Ran Yan, Xiong Li 0002, Xiaosong Zhang 0001	GCDroid: Android Malware Detection Based on Graph Compression With Reachability Relationship Extraction for IoT Devices.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
11	Sayra Ranjha, Pourya Gohari, Geoffrey Nelissen, Mitra Nasri	Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks.	Real Time Syst.	2023	DBLP DOI BibTeX RDF
11	Liyun Tong, Jinling Liang, Hong-xiang Hu	Fault Detectability of Asynchronous Switched Boolean Networks: A Set Reachability Approach.	IEEE ACM Trans. Comput. Biol. Bioinform.	2023	DBLP DOI BibTeX RDF
11	Julian Theis, Houshang Darabi	Improving Predictive Process Monitoring Through Reachability Graph-Based Masking of Neural Networks.	IEEE Trans. Comput. Soc. Syst.	2023	DBLP DOI BibTeX RDF
11	Wei Liao, Taotao Liang, Xiaohui Wei, Jizhou Lai	A novel unified framework for solving reachability and invariance problems.	Int. J. Control	2023	DBLP DOI BibTeX RDF
11	Mahsa Farjadnia, Amr Al-Anwar 0001, Muhammad Umar B. Niazi, Marco Molinari, Karl Henrik Johansson	Robust data-driven predictive control of unknown nonlinear systems using reachability analysis.	Eur. J. Control	2023	DBLP DOI BibTeX RDF
11	Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos	Multi-objective low-thrust spacecraft trajectory design using reachability analysis.	Eur. J. Control	2023	DBLP DOI BibTeX RDF
11	Yongxing Tang, Zhanxia Zhu, Hongwen Zhang 0007	A Reachability-Based Spatio-Temporal Sampling Strategy for Kinodynamic Motion Planning.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Kaustav Chakraborty, Somil Bansal	Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Zhifeng Qian, Mingyu You, Hongjun Zhou, Xuanhui Xu, Bin He 0003	Goal-Conditioned Reinforcement Learning With Disentanglement-Based Reachability Planning.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Hyunwoo Park, Jongseo Choi, Hyuntai Chin, Sang-Hyun Lee, Doosan Baek	Occlusion-Aware Risk Assessment and Driving Strategy for Autonomous Vehicles Using Simplified Reachability Quantification.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Sampath Kumar Mulagaleti, Alberto Bemporad, Mario Zanon	Computation of Input Disturbance Sets for Constrained Output Reachability.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Shreyas Kousik, Adam Dai, Grace Xingxin Gao	Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Taha Shafa, Melkior Ornik	Reachability of Nonlinear Systems With Unknown Dynamics.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Mohammad Khajenejad, Sze Zheng Yong	Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Souradip De, Soumya Ranjan Sahoo, Pankaj Wahi	Global Reachability of Heterogeneous Multiagent Systems Under Collaborative Interaction Topology and Unknown Delays.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Zhouchi Li, Luyao Niu, Andrew Clark 0001	LQG Reference Tracking With Safety and Reachability Guarantees Under Unknown False Data Injection Attacks.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu	On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Corrado Possieri, Mattia Frasca, Alessandro Rizzo	Reachability Analysis in Stochastic Directed Graphs by Reinforcement Learning.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak	Data-Driven Reachability and Support Estimation With Christoffel Functions.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Amr Alanwar 0001, Anne Koch 0001, Frank Allgöwer, Karl Henrik Johansson	Data-Driven Reachability Analysis From Noisy Data.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Donggun Lee, Claire J. Tomlin	Efficient Computation of State-Constrained Reachability Problems Using Hopf-Lax Formulae.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
11	Jeremy Sproston	Qualitative reachability for open interval Markov chains.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Trevor J. Bird, Herschel C. Pangborn, Neera Jain, Justin P. Koeln	Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems.	Autom.	2023	DBLP DOI BibTeX RDF
11	Berk Altin, Ricardo G. Sanfelice	Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis.	Autom.	2023	DBLP DOI BibTeX RDF
11	Joshua Ani, Erik D. Demaine, Yevhenii Diomidov, Dylan H. Hendrickson, Jayson Lynch	Traversability, Reconfiguration, and Reachability in the Gadget Framework.	Algorithmica	2023	DBLP DOI BibTeX RDF
11	Daniela A. Amato	Distance-transitive digraphs: Descendant-homogeneity, property Z and reachability.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
11	Sujoy Bhore, Rahul Jain 0015	Space-efficient algorithms for reachability in directed geometric graphs.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Xinrong Yang, Haitao Li 0001	Reachability, Controllability, and Stabilization of Boolean Control Networks With Stochastic Function Perturbations.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
11	Xiao Zeng, Huijun Liang, Jun Yuan, Xiaoyu Song, Guowu Yang	Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
11	Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu	Accelerate Safety Model Checking Based on Complementary Approximate Reachability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
11	Konrad Leibrandt, Lyndon Da Cruz, Christos Bergeles	Designing Robots for Reachability and Dexterity: Continuum Surgical Robots as a Pretext Application.	IEEE Trans. Robotics	2023	DBLP DOI BibTeX RDF
11	Hoseong Seo, Donggun Lee, Clark Youngdong Son, Inkyu Jang, Claire J. Tomlin, H. Jin Kim	Real-Time Robust Receding Horizon Planning Using Hamilton-Jacobi Reachability Analysis.	IEEE Trans. Robotics	2023	DBLP DOI BibTeX RDF
11	Y. M. H. Xiao, Yulin Pan	Time-Optimal Path Planning in an Evolving Ocean Wave Field Based on Reachability Theory.	IEEE Trans. Control. Syst. Technol.	2023	DBLP DOI BibTeX RDF
11	Muquan Zou, Lizhen Wang 0001, Pingping Wu, Vanha Tran	Efficiently mining maximal l-reachability co-location patterns from spatial data sets.	Intell. Data Anal.	2023	DBLP DOI BibTeX RDF
11	Shuling Wang, Haitao Li 0001	Aggregation method to reachability and optimal control of large-size Boolean control networks.	Sci. China Inf. Sci.	2023	DBLP DOI BibTeX RDF
11	Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan	Leveraging polyhedral reductions for solving Petri net reachability problems.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
11	Yangjun Chen, Yibin Chen, Yifeng Zhang	Evaluation of Reachability Queries Based on Recursive DAG Decomposition.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
11	Junfeng Zhou, Jeffrey Xu Yu, Yaxian Qiu, Xian Tang, Ziyang Chen, Ming Du	Fast Reachability Queries Answering Based on $\mathsf{RCN}$RCN Reduction.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
11	Xiaolong Wan, Hongzhi Wang 0001	Reachability Queries With Label and Substructure Constraints on Knowledge Graphs.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
11	Reda Ouhamma, Maryam Kamgarpour	Learning Nash Equilibria in Zero-Sum Markov Games: A Single Time-scale Algorithm Under Weak Reachability.	CoRR	2023	DBLP DOI BibTeX RDF
11	Oliver Gates, Matthew Newton, Konstantinos Gatsis	Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers.	CoRR	2023	DBLP DOI BibTeX RDF
11	Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine	Reachability in Injective Piecewise Affine Maps.	CoRR	2023	DBLP DOI BibTeX RDF
11	Bai Xue	A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jinsun Liu, Challen Enninful Adu, Lucas Lymburner, Vishrut Kaushik, Lena Trang, Ram Vasudevan	RADIUS: Risk-Aware, Real-Time, Reachability-Based Motion Planning.	CoRR	2023	DBLP DOI BibTeX RDF
11	Hyunwoo Park, Jongseo Choi, Hyuntai Chin, Sang-Hyun Lee	Occlusion-aware Risk Assessment and Driving Strategy for Autonomous Vehicles Using Simplified Reachability Quantification.	CoRR	2023	DBLP DOI BibTeX RDF
11	Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao	Iterative Reachability Estimation for Safe Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
11	Shiri Chechik, Shay Mozes, Oren Weimann	Õptimal Fault-Tolerant Reachability Labeling in Planar Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Julie Parreaux, Jakob Piribauer, Christel Baier	Counterfactual Causality for Reachability and Safety based on Distance Functions.	GandALF	2023	DBLP DOI BibTeX RDF