[go back]
-
@InProceedings{LivingstonWM2015,
title = {Cross-entropy temporal logic motion planning},
author = {Scott C. Livingston and Eric M. Wolff and Richard M. Murray},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control ({HSCC})},
year = {2015},
address = {Seattle, WA, USA},
month = {April},
pages = {269--278},
doi = {10.1145/2728606.2728635},
}
-
@TECHREPORT{LivingstonM2014tr,
author = {Scott C. Livingston and Richard M. Murray},
title = {Hot-swapping robot task goals in reactive formal synthesis},
institution = {California Institute of Technology},
year = {2014},
month = {September},
note = {http://resolver.caltech.edu/CaltechCDSTR:2014.001},
day = {22},
}
-
@InProceedings{LivingstonM2014,
author = {Scott C. Livingston and Richard M. Murray},
title = {Hot-swapping robot task goals in reactive formal synthesis},
booktitle = {Decision and Control ({CDC}), 2014 IEEE 53rd Annual Conference on}},
pages = {101--107},
month = {December},
address = {Los Angeles, CA, USA},
doi = {10.1109/CDC.2014.7039366},
note = {for details, consult http://resolver.caltech.edu/CaltechCDSTR:2014.001},
}
-
@INPROCEEDINGS{LivingstonPJM2013,
author = {Scott C. Livingston and Pavithra Prabhakar and Alex B. Jose and Richard M. Murray},
title = {Patching task-level robot controllers based on a local $\mu$-calculus formula},
booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation ({ICRA})},
year = {2013},
pages = {4573--4580},
address = {Karlsruhe, Germany},
month = {May},
doi = {10.1109/ICRA.2013.6631229},
}
-
@INPROCEEDINGS{LivingstonM2013,
author = {Scott C. Livingston and Richard M. Murray},
title = {Just-in-time synthesis for reactive motion planning with temporal logic},
booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation ({ICRA})},
year = {2013},
pages = {5033--5038},
address = {Karlsruhe, Germany},
month = {May},
doi = {10.1109/ICRA.2013.6631298},
}
-
@INPROCEEDINGS{LivingstonMB2012,
author = {Scott C. Livingston and Richard M. Murray and Joel W. Burdick},
title = {Backtracking temporal logic synthesis for uncertain environments},
booktitle = {Proceedings of the 2012 IEEE International Conference on Robotics and Automation ({ICRA})},
year = {2012},
pages = {5163--5170},
address = {Saint Paul, Minnesota, USA},
month = {May},
days = {14--18},
doi = {10.1109/ICRA.2012.6225208},
}
-
@INPROCEEDINGS{ChinchaliLTBM2012,
author = {Sandeep Chinchali and Scott C. Livingston and Ufuk Topcu and Joel W. Burdick and Richard M. Murray},
title = {Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation},
booktitle = {Proceedings of the 2012 IEEE International Conference on Robotics and Automation ({ICRA})},
year = {2012},
pages = {5183--5189},
address = {Saint Paul, Minnesota, USA},
month = {May},
days = {14--18},
doi = {10.1109/ICRA.2012.6225257},
}
-
@ARTICLE{Elhanany2008,
author = {Elhanany, I. and Niedzwiedz, C. and Liu, Z. and Livingston, S.},
title = {Consolidated actor-critic model for partially-observable Markov decision processes},
journal = {Electronics Letters},
year = {2008},
volume = {44},
pages = {1317-1318},
number = {22},
month = {October},
doi = {10.1049/el:20081346},
issn = {0013-5194}
}