@misc{indiciae3f8eccb40542,
  title = {Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems},
  author = {Wojciech Jamroga and Damian Kurpiewski and Łukasz Mikulski},
  year = {2025},
  url = {https://arxiv.org/abs/2511.10649},
  note = {Source identifier: 2511.10649}
}