Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks Conference Proceeding

Best Open Access

Overview

CU Boulder Authors

Lahijanian, Morteza

publication date

October 1, 2023

has restriction

green

Date in CU Experts

February 1, 2024 4:40 AM

Full Author List

Muvvala K; Lahijanian M

author count

2

presented at event

2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1109/iros55552.2023.10342496

Additional Document Info

start page

8666

end page

8672