As Soon as Possible: Time Optimal Control for Timed Automata. Asarin, E. & Maler, O. In Proceedings of Hybrid Systems (HSCC), pages 19-30, 1999. Paper bibtex @inproceedings{ dblp4072436,
title = {As Soon as Possible: Time Optimal Control for Timed Automata},
author = {Eugene Asarin and Oded Maler},
author_short = {Asarin, E. and Maler, O.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1999},
key = {dblp4072436},
id = {dblp4072436},
biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinM99},
url = {http://dx.doi.org/10.1007/3-540-48983-5_6},
conference = {HSCC},
pages = {19-30},
text = {HSCC 1999:19-30},
booktitle = {Proceedings of Hybrid Systems (HSCC)}
}
Downloads: 0
{"_id":"5BQxxiyH3BBTaPvst","bibbaseid":"asarin-maler-assoonaspossibletimeoptimalcontrolfortimedautomata-1999","downloads":0,"creationDate":"2015-07-05T11:05:40.241Z","title":"As Soon as Possible: Time Optimal Control for Timed Automata","author_short":["Asarin, E.","Maler, O."],"year":1999,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinM99","bibdata":{"title":"As Soon as Possible: Time Optimal Control for Timed Automata","author":["Eugene Asarin","Oded Maler"],"author_short":["Asarin, E.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"1999","key":"dblp4072436","id":"dblp4072436","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinM99","url":"http://dx.doi.org/10.1007/3-540-48983-5_6","conference":"HSCC","pages":"19-30","text":"HSCC 1999:19-30","booktitle":"Proceedings of Hybrid Systems (HSCC)","bibtex":"@inproceedings{ dblp4072436,\n title = {As Soon as Possible: Time Optimal Control for Timed Automata},\n author = {Eugene Asarin and Oded Maler},\n author_short = {Asarin, E. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1999},\n key = {dblp4072436},\n id = {dblp4072436},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/AsarinM99},\n url = {http://dx.doi.org/10.1007/3-540-48983-5_6},\n conference = {HSCC},\n pages = {19-30},\n text = {HSCC 1999:19-30},\n booktitle = {Proceedings of Hybrid Systems (HSCC)}\n}","bibbaseid":"asarin-maler-assoonaspossibletimeoptimalcontrolfortimedautomata-1999","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-48983-5_6"},"downloads":0},"search_terms":["soon","possible","time","optimal","control","timed","automata","asarin","maler"],"keywords":[],"authorIDs":[],"dataSources":["e4KpFnCkWjQZNsdKb"]}