%0 Conference Paper %1 conf/spin/FoughaliIS19 %A Foughali, Mohammed %A Ingrand, Félix %A Seceleanu, Cristina %B SPIN %D 2019 %E Biondi, Fabrizio %E Given-Wilson, Thomas %E Legay, Axel %I Springer %K dblp %P 114-134 %T Statistical Model Checking of Complex Robotic Systems. %U http://dblp.uni-trier.de/db/conf/spin/spin2019.html#FoughaliIS19 %V 11636 %@ 978-3-030-30923-7

@inproceedings{conf/spin/FoughaliIS19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Foughali, Mohammed and Ingrand, Félix and Seceleanu, Cristina}, biburl = {https://www.bibsonomy.org/bibtex/25c5d8fe1b51e175a2f92497c29ed994b/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2019}, editor = {Biondi, Fabrizio and Given-Wilson, Thomas and Legay, Axel}, ee = {https://doi.org/10.1007/978-3-030-30923-7_7}, interhash = {a1c0151c360a011ac13f2e2ec0e882a5}, intrahash = {5c5d8fe1b51e175a2f92497c29ed994b}, isbn = {978-3-030-30923-7}, keywords = {dblp}, pages = {114-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:33:27.000+0200}, title = {Statistical Model Checking of Complex Robotic Systems.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2019.html#FoughaliIS19}, volume = 11636, year = 2019 }