LTLf Synthesis on Probabilistic Systems Conference Proceeding

• Best Open Access

Overview

CU Boulder Authors

• Lahijanian, Morteza

publication date

• September 20, 2020

has restriction

• gold

Date in CU Experts

• February 1, 2021 11:20 AM

Full Author List

• Wells AM; Lahijanian M; Kavraki LE; Vardi MY

author count

• 4

published in

• Electronic Proceedings in Theoretical Computer Science  Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

• 2075-2180

Digital Object Identifier (DOI)

• https://doi.org/10.4204/eptcs.326.11

Additional Document Info

start page

• 166

end page

• 181

volume

• 326