@phdthesis{Svorenova2015thesis,
 author = {Mária Svoreňová},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Ivana Černá},
 title = {{Control Strategy Synthesis for Path Planning under Temporal Constraints}},
 type = {Ph.D. Thesis},
 url = {http://is.muni.cz/th/175388/fi_d/},
 year = {2015}
}