Probabilistic strategy logic
<p style="text-align:justify;"> We introduce Probabilistic Strategy Logic, an extension of Strategy Logic for stochastic systems. The logic has probabilistic terms that allow it to express many standard solution concepts, such as Nash equilibria in randomised strategies, as well as...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
IJCAI
2019
|