Login / Signup
Lejun Jiang
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Temporal Logic
Stochastic Systems
Traffic Simulator
Sample Path
Top Venues
CoRR
ACM Trans. Embed. Comput. Syst.
L4DC
</>
Publications
</>
Lars Lindemann
,
Lejun Jiang
,
Nikolai Matni
,
George J. Pappas
Risk of Stochastic Systems for Temporal Logic Specifications.
ACM Trans. Embed. Comput. Syst.
22 (3) (2023)
Lars Lindemann
,
Lejun Jiang
,
Nikolai Matni
,
George J. Pappas
Risk of Stochastic Systems for Temporal Logic Specifications.
CoRR
(2022)
Steven Wong
,
Lejun Jiang
,
Robin Walters
,
Tamás G. Molnár
,
Gábor Orosz
,
Rose Yu
Traffic Forecasting using Vehicle-to-Vehicle Communication.
L4DC
(2021)
Steven Wong
,
Lejun Jiang
,
Robin Walters
,
Tamás G. Molnár
,
Gábor Orosz
,
Rose Yu
Traffic Forecasting using Vehicle-to-Vehicle Communication.
CoRR
(2021)
Lars Lindemann
,
Alexander Robey
,
Lejun Jiang
,
Stephen Tu
,
Nikolai Matni
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations.
CoRR
(2021)