%0 Conference Paper %1 conf/icra/AntoniottiM95 %A Antoniotti, Marco %A Mishra, Bud %B ICRA %D 1995 %I IEEE Computer Society %K dblp %P 1441-1446 %T Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. %U http://dblp.uni-trier.de/db/conf/icra/icra1995-1.html#AntoniottiM95

@inproceedings{conf/icra/AntoniottiM95, added-at = {2013-02-20T00:00:00.000+0100}, author = {Antoniotti, Marco and Mishra, Bud}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24487456935cedd6829775f51263ec938/dblp}, booktitle = {ICRA}, crossref = {conf/icra/1995}, ee = {http://dx.doi.org/10.1109/ROBOT.1995.525480}, interhash = {8762d3037bd01f11735f41f2a83ad1fd}, intrahash = {4487456935cedd6829775f51263ec938}, keywords = {dblp}, pages = {1441-1446}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T11:31:01.000+0100}, title = {Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra1995-1.html#AntoniottiM95}, year = 1995 }