Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou. Exogenous Probabilistic Computation Tree Logic. Electronic Notes in Theoretical Computer Science, 190(3):95-110, 2007. [doi]
@article{BaltazarMNP07, title = {Exogenous Probabilistic Computation Tree Logic}, author = {Pedro Baltazar and Paulo Mateus and Rajagopal Nagarajan and Nikolaos Papanikolaou}, year = {2007}, doi = {10.1016/j.entcs.2007.07.007}, url = {http://dx.doi.org/10.1016/j.entcs.2007.07.007}, tags = {logic}, researchr = {https://researchr.org/publication/BaltazarMNP07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {3}, pages = {95-110}, }