|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1988 occurrences of 963 keywords
|
|
|
Results
Found 5162 publication records. Showing 5162 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.12550, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ilia Muravev |
Optimization of the Context-Free Language Reachability Matrix-Based Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.11029, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18841, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.12280, 2024. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.11287, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Michael Elkin, Chhaya Trehan |
Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.05628, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001 |
Multiple Reachability in Linear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06515, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16982, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13266, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.11608, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03897, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09447, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18707, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
Memoryless Strategies in Stochastic Reachability Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.13390, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.08857, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Daoliang He, Pingpeng Yuan, Hai Jin 0001 |
Answering reachability queries with ordered label constraints over labeled graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 18(1), pp. 181601, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Big Data ![In: IEEE Trans. Big Data 10(2), pp. 108-121, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Amir Abboud, Greg Bodwin |
Reachability Preservers: New Extremal Bounds and Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 53(2), pp. 221-246, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Sayan Mitra |
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 1:1, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 18:1-18:12, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Eric Goubault, Sylvie Putot |
Inner and outer approximate quantifier elimination for general reachability problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 8:1-8:11, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 27:1-27:13, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Andrei Draghici, Christoph Haase, Andrew Ryzhikov |
Reachability in Fixed VASS: Expressiveness and Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS (2) ![In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 185-205, 2024, Springer, 978-3-031-57230-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 9731-9739, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ayumi Igarashi 0001, Naoyuki Kamiyama, Warut Suksompong, Sheung Man Yuen |
Reachability of Fair Allocations via Sequential Exchanges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 9773-9780, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 1, Rome, Italy, February 24-26, 2024., pp. 221-230, 2024, SCITEPRESS, 978-989-758-680-4. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | James C. A. Main |
Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, pp. 50:1-50:18, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-311-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (3) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, pp. 194-212, 2024, Springer, 978-3-031-57255-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (1) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I, pp. 101-123, 2024, Springer, 978-3-031-50523-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (2) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, pp. 73-97, 2024, Springer, 978-3-031-50520-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: IEEE/SICE International Symposium on System Integration, SII 2024, Ha Long, Vietnam, January 8-11, 2024, pp. 1247-1252, 2024, IEEE, 979-8-3503-1207-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 925-930, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | James Ferlez, Yasser Shoukry |
Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 1105-1110, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yuhao Zhang 0005, Hang Zhang, Xiangru Xu |
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2779-2784, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 1622-1627, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Bhagyashree Umathe, Duvan Tellez-Castro, Umesh Vaidya |
Reachability Analysis Using Spectrum of Koopman Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 595-600, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 3824-3829, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Paraschos Koutris, Shaleen Deep |
The Fine-Grained Complexity of CFL Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1713-1739, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1003-1026, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang |
Historia: Refuting Callback Reachability with Message-History Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 1905-1934, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(PLDI), pp. 318-342, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hiroyuki Katsura, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Higher-Order Property-Directed Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 48-77, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 70(3), pp. 2982-2992, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Zhanyou Ma, Yingnan Gao, Zhaokai Li, Xia Li, Ziyuan Liu |
Quantitative reachability analysis of generalized possibilistic decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(5), pp. 8357-8373, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 107(3), pp. 39, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 108(4), pp. 78, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Xiangyu Jia, Shuo Li |
Parameterized Reachability Graph for Software Model Checking Based on PDNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 42(4), pp. 781-804, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sam Procter |
The OSATE Slicer: Graph-Based Reachability for Architectural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 22(2), pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shiqi Li, Sian Zhou, Li Yin, Rongtian Jiang |
Robust Diagnosability Analysis Using Basis Reachability Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 9751-9762, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 93293-93309, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Seyoung Kim, Jaeha Kim |
Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 74602-74613, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(13), pp. 11343-11356, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 59(2), pp. 201-255, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Liyun Tong, Jinling Liang, Hong-xiang Hu |
Fault Detectability of Asynchronous Switched Boolean Networks: A Set Reachability Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 20(6), pp. 3876-3888, November - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Julian Theis, Houshang Darabi |
Improving Predictive Process Monitoring Through Reachability Graph-Based Masking of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Soc. Syst. ![In: IEEE Trans. Comput. Soc. Syst. 10(4), pp. 1927-1938, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wei Liao, Taotao Liang, Xiaohui Wei, Jizhou Lai |
A novel unified framework for solving reachability and invariance problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 96(6), pp. 1436-1447, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 74, pp. 100878, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos |
Multi-objective low-thrust spacecraft trajectory design using reachability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 69, pp. 100758, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yongxing Tang, Zhanxia Zhu, Hongwen Zhang 0007 |
A Reachability-Based Spatio-Temporal Sampling Strategy for Kinodynamic Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(1), pp. 448-455, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kaustav Chakraborty, Somil Bansal |
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(5), pp. 2692-2699, May 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(8), pp. 4721-4728, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(12), pp. 8486-8493, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sampath Kumar Mulagaleti, Alberto Bemporad, Mario Zanon |
Computation of Input Disturbance Sets for Constrained Output Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(6), pp. 3573-3580, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shreyas Kousik, Adam Dai, Grace Xingxin Gao |
Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(6), pp. 3440-3452, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Taha Shafa, Melkior Ornik |
Reachability of Nonlinear Systems With Unknown Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(4), pp. 2407-2414, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(12), pp. 7057-7072, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(12), pp. 7629-7643, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(2), pp. 1245-1252, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(8), pp. 4857-4872, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Corrado Possieri, Mattia Frasca, Alessandro Rizzo |
Reachability Analysis in Stochastic Directed Graphs by Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(1), pp. 462-469, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak |
Data-Driven Reachability and Support Estimation With Christoffel Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(9), pp. 5216-5229, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(5), pp. 3054-3069, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Donggun Lee, Claire J. Tomlin |
Efficient Computation of State-Constrained Reachability Problems Using Hopf-Lax Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(11), pp. 6481-6495, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jeremy Sproston |
Qualitative reachability for open interval Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 9, pp. e1489, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 154, pp. 111107, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 152, pp. 110913, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 85(11), pp. 3453-3486, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Daniela A. Amato |
Distance-transitive digraphs: Descendant-homogeneity, property Z and reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 107, pp. 103597, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sujoy Bhore, Rahul Jain 0015 |
Space-efficient algorithms for reachability in directed geometric graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 961, pp. 113938, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Xinrong Yang, Haitao Li 0001 |
Reachability, Controllability, and Stabilization of Boolean Control Networks With Stochastic Function Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 53(2), pp. 1198-1208, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9), pp. 2966-2979, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9), pp. 3105-3117, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 39(4), pp. 2989-3007, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 39(1), pp. 90-109, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 31(4), pp. 1957-1964, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Data Anal. ![In: Intell. Data Anal. 27(1), pp. 269-295, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shuling Wang, Haitao Li 0001 |
Aggregation method to reachability and optimal control of large-size Boolean control networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 66(7), July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
Leveraging polyhedral reductions for solving Petri net reachability problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(1), pp. 95-114, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yangjun Chen, Yibin Chen, Yifeng Zhang |
Evaluation of Reachability Queries Based on Recursive DAG Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 35(8), pp. 7935-7952, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 35(3), pp. 2590-2609, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Xiaolong Wan, Hongzhi Wang 0001 |
Reachability Queries With Label and Substructure Constraints on Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 35(6), pp. 6238-6251, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.08008, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Oliver Gates, Matthew Newton, Konstantinos Gatsis |
Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.03846, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine |
Reachability in Injective Piecewise Affine Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09752, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Bai Xue |
A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15843, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07933, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.07004, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao |
Iterative Reachability Estimation for Safe Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.13528, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shiri Chechik, Shay Mozes, Oren Weimann |
Õptimal Fault-Tolerant Reachability Labeling in Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.07222, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Julie Parreaux, Jakob Piribauer, Christel Baier |
Counterfactual Causality for Reachability and Safety based on Distance Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 132-149, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|