Synthesis and Verification of Uniform Strategies for Multi-agent Systems

@inproceedings{Pilecki2014SynthesisAV,
  title={Synthesis and Verification of Uniform Strategies for Multi-agent Systems},
  author={Jerzy Pilecki and Marek A. Bednarczyk and Wojciech Jamroga},
  booktitle={CLIMA},
  year={2014}
}

Topics from this paper.

Similar Papers

Loading similar papers…