Inproceedings,
Distributing Co-safe LTL Specifications to Mobile Robots.
I. Hustiu, C. Mahulea, and M. Kloetzer.ICSTCC, page 306-311. IEEE, (2022)
Meta data
- BibTeX key
- conf/icstcc/HustiuMK22
- entry type
- inproceedings
- booktitle
- ICSTCC
- year
- 2022
- pages
- 306-311
- publisher
- IEEE
- crossref
- conf/icstcc/2022
- ee
- https://doi.org/10.1109/ICSTCC55426.2022.9931878
- isbn
- 978-1-6654-6746-9
- url
- http://dblp.uni-trier.de/db/conf/icstcc/icstcc2022.html#HustiuMK22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icstcc/HustiuMK22
%A Hustiu, Ioana
%A Mahulea, Cristian
%A Kloetzer, Marius
%B ICSTCC
%D 2022
%E Barbu, Marian
%E Solea, Razvan
%I IEEE
%K dblp
%P 306-311
%T Distributing Co-safe LTL Specifications to Mobile Robots.
%U http://dblp.uni-trier.de/db/conf/icstcc/icstcc2022.html#HustiuMK22
%@ 978-1-6654-6746-9
@inproceedings{conf/icstcc/HustiuMK22,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Hustiu, Ioana and Mahulea, Cristian and Kloetzer, Marius},
biburl = {https://www.bibsonomy.org/bibtex/229963070332bb562bf32cdb56a189dde/dblp},
booktitle = {ICSTCC},
crossref = {conf/icstcc/2022},
editor = {Barbu, Marian and Solea, Razvan},
ee = {https://doi.org/10.1109/ICSTCC55426.2022.9931878},
interhash = {1911d702d918da5a32dcc0a34dc66c9c},
intrahash = {29963070332bb562bf32cdb56a189dde},
isbn = {978-1-6654-6746-9},
keywords = {dblp},
pages = {306-311},
publisher = {IEEE},
timestamp = {2024-04-09T21:12:00.000+0200},
title = {Distributing Co-safe LTL Specifications to Mobile Robots.},
url = {http://dblp.uni-trier.de/db/conf/icstcc/icstcc2022.html#HustiuMK22},
year = 2022
}