%0 Journal Article %1 journals/corr/abs-1912-01704 %A Liu, Xiaotian %A Shi, Pengyi %A Alqahtani, Sarra M. %A Pauca, Victor Paúl %A Silman, Miles %D 2019 %J CoRR %K dblp %T Robustness-Driven Exploration with Probabilistic Metric Temporal Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr1912.html#abs-1912-01704 %V abs/1912.01704

@article{journals/corr/abs-1912-01704, added-at = {2023-12-23T00:00:00.000+0100}, author = {Liu, Xiaotian and Shi, Pengyi and Alqahtani, Sarra M. and Pauca, Victor Paúl and Silman, Miles}, biburl = {https://www.bibsonomy.org/bibtex/27ac835b18f3ddc9b9c083543278fc008/dblp}, ee = {http://arxiv.org/abs/1912.01704}, interhash = {26c33eac76b8eabe9b4edd4343da3b3f}, intrahash = {7ac835b18f3ddc9b9c083543278fc008}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:15:04.000+0200}, title = {Robustness-Driven Exploration with Probabilistic Metric Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1912.html#abs-1912-01704}, volume = {abs/1912.01704}, year = 2019 }