ホーム›研究者DB›Francesco PontiggiaFrancesco Pontiggia収録論文 1本 ・ フィジカルAI/ロボット学習※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。論文Deductive Controller Synthesis for Probabilistic Hyperproperties2023/7/1主な共著者Ezio Bartocci1Milan Ceska1Roman Andriushchenko1Sarah Sallinger1← 研究者DB