Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

Sayan Mitra; Hussein Sibai

doi:10.1109/MC.2022.3190954

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

Research output: Contribution to specialist publication › Article

Abstract

Recent algorithms show how the availability of structural knowledge, such as symmetries, can significantly improve autonomous system verification in terms of both running time and sample complexity.

Original language	English (US)
Pages	88-93
Number of pages	6
Volume	55
No	10
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2022.3190954
State	Published - Oct 1 2022

ASJC Scopus subject areas

General Computer Science

Online availability

10.1109/MC.2022.3190954

Library availability

Discover UIUC Full Text

Cite this

@misc{e668bbefeb5947b18b967e46ab300af5,

title = "Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems",

abstract = "Recent algorithms show how the availability of structural knowledge, such as symmetries, can significantly improve autonomous system verification in terms of both running time and sample complexity.",

author = "Sayan Mitra and Hussein Sibai",

note = "Publisher Copyright: {\textcopyright} 1970-2012 IEEE.",

year = "2022",

month = oct,

day = "1",

doi = "10.1109/MC.2022.3190954",

language = "English (US)",

volume = "55",

pages = "88--93",

journal = "Computer",

issn = "0018-9162",

publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

AU - Mitra, Sayan

AU - Sibai, Hussein

PY - 2022/10/1

Y1 - 2022/10/1

N2 - Recent algorithms show how the availability of structural knowledge, such as symmetries, can significantly improve autonomous system verification in terms of both running time and sample complexity.

AB - Recent algorithms show how the availability of structural knowledge, such as symmetries, can significantly improve autonomous system verification in terms of both running time and sample complexity.

UR - http://www.scopus.com/inward/record.url?scp=85139492666&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85139492666&partnerID=8YFLogxK

U2 - 10.1109/MC.2022.3190954

DO - 10.1109/MC.2022.3190954

M3 - Article

AN - SCOPUS:85139492666

SN - 0018-9162

VL - 55

SP - 88

EP - 93

JO - Computer

JF - Computer

ER -

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this