Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2307.04503
Cited By
Deductive Controller Synthesis for Probabilistic Hyperproperties
International Conference on Quantitative Evaluation of Systems (QEST), 2023
10 July 2023
Roman Andriushchenko
E. Bartocci
Milan Ceska
Francesco Pontiggia
Sarah Sallinger
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Deductive Controller Synthesis for Probabilistic Hyperproperties"
1 / 1 papers shown
Title
Decentralized Planning Using Probabilistic Hyperproperties
Adaptive Agents and Multi-Agent Systems (AAMAS), 2025
Francesco Pontiggia
Filip Macák
Roman Andriushchenko
Michele Chiari
Milan Ceska
89
0
0
20 Feb 2025
1
