Publisher
Springer Nature Switzerland
Reference37 articles.
1. de Alfaro, L.: Formal verification of probabilistic systems. Ph.D. thesis, Stanford University, USA (1997). https://searchworks.stanford.edu/view/3910936
2. Lecture Notes in Computer Science;D Berardi,2003
3. Lecture Notes in Computer Science;D Berardi,2005
4. Lecture Notes in Computer Science;RI Brafman,2017
5. Brafman, R.I., De Giacomo, G., Patrizi, F.: LTLf/LDLf non-Markovian rewards. In: AAAI, pp. 1771–1778. AAAI Press (2018)