We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

eess.SY
< prev | next >
new | recent | 2111

Change to browse by:

cs
cs.LO
eess

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Electrical Engineering and Systems Science > Systems and Control

Title: Benchmarks of Extended Basis Reachability Graphs

Authors: Yin Tong
(Submitted on 19 Nov 2021)
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).
Comments: 8 pages
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)
Cite as: arXiv:2111.10218 [eess.SY]
  (or arXiv:2111.10218v1 [eess.SY] for this version)

Submission history

From: Yin Tong [view email]
[v1] Fri, 19 Nov 2021 13:48:02 GMT (623kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.