Login / Signup
Ertai Luo
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Network Size
Timed Automata
Power Law
Linear Systems
Top Venues
CoRR
HSCC
QCE
ATVA
</>
Publications
</>
Yushen Huang
,
Ertai Luo
,
Stanley Bak
,
Yifan Sun
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.
CoRR
(2024)
Yushen Huang
,
Ertai Luo
,
Stanley Bak
,
Yifan Sun
On the Difficulty of Intersection Checking with Polynomial Zonotopes.
CoRR
(2023)
Ertai Luo
,
Niklas Kochdumper
,
Stanley Bak
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.
HSCC
(2023)
Yushen Huang
,
Ertai Luo
,
Stanley Bak
,
Yifan Sun
On the Difficulty of Intersection Checking with Polynomial Zonotopes.
ATVA
(2023)
Mohammad Ghaderibaneh
,
Himanshu Gupta
,
C. R. Ramakrishnan
,
Ertai Luo
Pre-Distribution of Entanglements in Quantum Networks.
QCE
(2022)
Mohammad Ghaderibaneh
,
Himanshu Gupta
,
C. R. Ramakrishnan
,
Ertai Luo
Pre-Distribution of Entanglements in Quantum Networks.
CoRR
(2022)