Optimal Multi-Valued LTL Planning for Systems with Access Right Levels

Mohammad Hekmatnejad, Georgios Fainekos. Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 2363-2370, IEEE, 2018. [doi]

Authors

Mohammad Hekmatnejad

This author has not been identified. Look up 'Mohammad Hekmatnejad' in Google

Georgios Fainekos

This author has not been identified. Look up 'Georgios Fainekos' in Google