%0 Conference Paper %1 conf/icra/PelletierLGDR23 %A Pelletier, Baptiste %A Lesire, Charles %A Grand, Christophe %A Doose, David %A Rognant, Mathieu %B ICRA %D 2023 %I IEEE %K dblp %P 10580-10586 %T Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets. %U http://dblp.uni-trier.de/db/conf/icra/icra2023.html#PelletierLGDR23 %@ 979-8-3503-2365-8

@inproceedings{conf/icra/PelletierLGDR23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Pelletier, Baptiste and Lesire, Charles and Grand, Christophe and Doose, David and Rognant, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/24c80667910bd5c3997cb018cc6f730b3/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2023}, ee = {https://doi.org/10.1109/ICRA48891.2023.10160434}, interhash = {59edc0a34f5e8701da87026424956c7c}, intrahash = {4c80667910bd5c3997cb018cc6f730b3}, isbn = {979-8-3503-2365-8}, keywords = {dblp}, pages = {10580-10586}, publisher = {IEEE}, timestamp = {2024-04-09T10:29:49.000+0200}, title = {Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2023.html#PelletierLGDR23}, year = 2023 }