Jump to : Download | Keywords | Contact | BibTex reference | EndNote reference |

piribauer:hal-03408379

Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur. Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. In CONCUR 2021 - 32nd International Conference on Concurrency Theory, Pages 1-18, Paris, France, August 2021.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Keywords

[ Quantified linear temporal logic ] [ Markov chain ] [ Markov decision process ] [ Vacuity ]

Contact

Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{piribauer:hal-03408379,
   Author = {Piribauer, Jakob and Baier, Christel and Bertrand, Nathalie and Sankur, Ocan},
   Title = {{Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking}},
   BookTitle = {{CONCUR 2021 - 32nd International Conference on Concurrency Theory}},
   Pages = {1--18},
   Address = {Paris, France},
   Month = {August},
   Year = {2021}
}

EndNote Reference [help]

Get EndNote Reference (.ref)