%0 Journal Article %1 journals/aicom/PathakPT16 %A Pathak, Shashank %A Pulina, Luca %A Tacchella, Armando %D 2016 %J AI Commun. %K dblp %N 2 %P 287-299 %T Evaluating probabilistic model checking tools for verification of robot control policies. %U http://dblp.uni-trier.de/db/journals/aicom/aicom29.html#PathakPT16 %V 29

@article{journals/aicom/PathakPT16, added-at = {2022-08-16T00:00:00.000+0200}, author = {Pathak, Shashank and Pulina, Luca and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/26b4c19c42d132359e96d1e21df688605/dblp}, ee = {https://www.wikidata.org/entity/Q113417298}, interhash = {3d344942341582b8c7fbff49890ff6f4}, intrahash = {6b4c19c42d132359e96d1e21df688605}, journal = {AI Commun.}, keywords = {dblp}, number = 2, pages = {287-299}, timestamp = {2024-04-08T13:15:37.000+0200}, title = {Evaluating probabilistic model checking tools for verification of robot control policies.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom29.html#PathakPT16}, volume = 29, year = 2016 }