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]
Abstract is missing.