TITLE : Applying supervisory control synthesis to priced featured automata and energy problems AUTHOR(S) : Basile D TYPE : Journal article YEAR : 2019 CODE : 412697 *** DO NOT EDIT THIS FILE ***