%0 Journal Article %1 journals/ijar/TigerH20 %A Tiger, Mattias %A Heintz, Fredrik %D 2020 %J Int. J. Approx. Reason. %K dblp %P 325-352 %T Incremental reasoning in probabilistic Signal Temporal Logic. %U http://dblp.uni-trier.de/db/journals/ijar/ijar119.html#TigerH20 %V 119

@article{journals/ijar/TigerH20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Tiger, Mattias and Heintz, Fredrik}, biburl = {https://www.bibsonomy.org/bibtex/242b066db2e2744b1ebf6f20535620c2f/dblp}, ee = {https://doi.org/10.1016/j.ijar.2020.01.009}, interhash = {2eba4b492843df2b808c656b2f971c3b}, intrahash = {42b066db2e2744b1ebf6f20535620c2f}, journal = {Int. J. Approx. Reason.}, keywords = {dblp}, pages = {325-352}, timestamp = {2024-04-08T16:20:26.000+0200}, title = {Incremental reasoning in probabilistic Signal Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/ijar/ijar119.html#TigerH20}, volume = 119, year = 2020 }