English

Benchmarks of Extended Basis Reachability Graphs

Systems and Control 2021-11-24 v1 Logic in Computer Science Systems and Control
Authors: Yin Tong
View on arXiv ↗ PDF ↗

Abstract

In this note, we want to provide a comparison among the efficiency of different approaches for the verification of K-step and infinite-step opacity based on three different graphs: the Extended Basis Reachability Graph (EBRG), the Basis Reachability Graph (BRG) when applicable, and the Reachability Graph (RG).

Cite

@article{arxiv.2111.10218,
  title  = {Benchmarks of Extended Basis Reachability Graphs},
  author = {Yin Tong},
  journal= {arXiv preprint arXiv:2111.10218},
  year   = {2021}
}

Comments

8 pages

Related papers

View all related →
Systems and Control · Electrical Eng. & Systems
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks
Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua
2021-06-15
Databases · Computer Science
Indexing Techniques for Graph Reachability Queries
Chao Zhang, Angela Bonifati, M. Tamer Özsu
2025-07-01
Databases · Computer Science
Efficient k-step Weighted Reachability Query Processing Algorithms
Congquan Mei, Lian Chen, Junfeng Zhou, Ming Du +3
2024-10-08
Artificial Intelligence · Computer Science
Enriching Documents with Compact, Representative, Relevant Knowledge Graphs
Shuxin Li, Zixian Huang, Gong Cheng, Evgeny Kharlamov +1
2020-05-12
Combinatorics · Mathematics
Algorithmic aspects of algebraic methods for graph isomorphism testing
Michal Kaukic
2007-05-23
Cryptography and Security · Computer Science
VulRG: Multi-Level Explainable Vulnerability Patch Ranking for Complex Systems Using Graphs
Yuning Jiang, Nay Oo, Qiaoran Meng, Hoon Wei Lim +1
2025-02-18
Databases · Computer Science
Reachability Queries with Label and Substructure Constraints on Knowledge Graphs
Xiaolong Wan, Hongzhi Wang
2020-07-24
Machine Learning · Computer Science
Graph Robustness Benchmark: Benchmarking the Adversarial Robustness of Graph Machine Learning
Qinkai Zheng, Xu Zou, Yuxiao Dong, Yukuo Cen +4
2021-11-09
Methodology · Statistics
Bayesian perspectives on exponential random graph models
Alberto Caimo, Isabella Gollini
2026-05-26
Artificial Intelligence · Computer Science
What Breaks Knowledge Graph based RAG? Benchmarking and Empirical Insights into Reasoning under Incomplete Knowledge
Dongzhuoran Zhou, Yuqicheng Zhu, Xiaxia Wang, Hongkuan Zhou +4
2026-01-13
Machine Learning · Computer Science
EAGER: Embedding-Assisted Entity Resolution for Knowledge Graphs
Daniel Obraczka, Jonathan Schuchart, Erhard Rahm
2021-01-18
Data Structures and Algorithms · Computer Science
O'Reach: Even Faster Reachability in Large Graphs
Kathrin Hanauer, Christian Schulz, Jonathan Trummer
2021-02-02
Social and Information Networks · Computer Science
Block-Approximated Exponential Random Graphs
Florian Adriaens, Alexandru Mara, Jefrey Lijffijt, Tijl De Bie
2022-02-02
Computational Complexity · Computer Science
Recognizing and Realizing Temporal Reachability Graphs
Thomas Erlebach, Othon Michail, Nils Morawietz
2025-03-21
Databases · Computer Science
Maximum $k$-Biplex Search on Bipartite Graphs: A Symmetric-BK Branching Approach
Kaiqiang Yu, Cheng Long
2022-08-30
Discrete Mathematics · Computer Science
Analysis Of The Girth For Regular Bi-partite Graphs With Degree 3
Vivek S Nittoor, Reiji Suda
2013-02-26
Artificial Intelligence · Computer Science
E^2GraphRAG: Streamlining Graph-based RAG for High Efficiency and Effectiveness
Yibo Zhao, Jiapeng Zhu, Ye Guo, Kangkang He +1
2025-06-09
Robotics · Computer Science
Multi-Floor Exploration for Ground Robots via an Incremental Reachable Graph and Structural Priors
Zhiwen Zhu, Jiaqi Chen, Xiangyi Huang, Meiqi Hu +1
2026-05-25
Databases · Computer Science
Performance Guarantees for Distributed Reachability Queries
Wenfei Fan, Xin Wang, Yinghui Wu
2012-08-02
Information Retrieval · Computer Science
Generalized Relative Neighborhood Graph (GRNG) for Similarity Search
Cole Foster, Berk Sevilmis, Benjamin Kimia
2022-08-23
Computational Complexity · Computer Science
Reachability in High Treewidth Graphs
Rahul Jain, Raghunath Tewari
2019-02-06
Physics and Society · Physics
Reproducing the first and second moments of empirical degree distributions
Mattia Marzi, Francesca Giuffrida, Diego Garlaschelli, Tiziano Squartini
2026-02-10
Computational Complexity · Computer Science
Space-Efficient Algorithms for Reachability in Geometric Graphs
Sujoy Bhore, Rahul Jain
2021-07-06
Computation and Language · Computer Science
Towards Robust Retrieval-Augmented Generation Based on Knowledge Graph: A Comparative Analysis
Hazem Amamou, Stéphane Gagnon, Alan Davoust, Anderson R. Avila
2026-03-11
Machine Learning · Computer Science
KGRAG-Ex: Explainable Retrieval-Augmented Generation with Knowledge Graph-based Perturbations
Georgios Balanos, Evangelos Chasanis, Konstantinos Skianis, Evaggelia Pitoura
2025-07-14
R2 v1 2026-06-24T07:44:52.419Z