Login / Signup
Abolfazl Lavaei
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 82
Top Topics
Situation Aware
Markov Decision Process
Automated Verification
Controller Synthesis
Top Venues
CoRR
HSCC
CDC
IEEE Control. Syst. Lett.
</>
Publications
</>