|
|
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! |
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 |
|
|
|