Reactive synthesis for finite tasks under resource constraints Conference Proceeding

Best Open Access

Overview

CU Boulder Authors

Lahijanian, Morteza

publication date

September 24, 2017

has restriction

green

Date in CU Experts

February 1, 2019 8:45 AM

Full Author List

He K; Lahijanian M; Kavraki LE; Vardi MY

author count

4

published in

Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems Journal

presented at event

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

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1109/iros.2017.8206426