基本信息
浏览量:79
职业迁徙
个人简介
My research interests regard many aspects of formal methods for Artificial Intelligence. In particular, I work on verification and synthesis problems for multi-agent systems, knowledge representation, strategic reasoning, logic, games, and automata theory.
Logic and Automata
During my PhD, I focused on the study of Logics for the Verification and Synthesis of strategic behavior in multi-agent systems. In particular, I gave my decisive contribution to the development of Strategy Logic: a language now widely applied in AI and formal methods to reason about strategies and actions in multi-agent systems.
Rational Synthesis
During my years as a research associate at the University of Oxford, University of Leicester, and Chalmers University, my main focus was on Rational Verification and Synthesis, concerning the synthesis of equilibria for games that are used as a modelling tool for multi-agent interacting scenarios, such as autonomous-driving cars, automated wharehouse, and the like. I have contributed to the development of EVE: a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
Finite Trace
I focused on defining and solving synthesis variants of finite temporal specifications. The problem has direct applications in the areas of planning, business process management, as well as robotics, where agents tasks are assumed to be of finite duration.
Normative Systems
My recent focus has been on Normative Systems, concerning the problem of regulating MAS by means of norms and other formally defined machineries, employed to guarantee correct-by-construction behaviour of systems from a global/designer point of view.
Logic and Automata
During my PhD, I focused on the study of Logics for the Verification and Synthesis of strategic behavior in multi-agent systems. In particular, I gave my decisive contribution to the development of Strategy Logic: a language now widely applied in AI and formal methods to reason about strategies and actions in multi-agent systems.
Rational Synthesis
During my years as a research associate at the University of Oxford, University of Leicester, and Chalmers University, my main focus was on Rational Verification and Synthesis, concerning the synthesis of equilibria for games that are used as a modelling tool for multi-agent interacting scenarios, such as autonomous-driving cars, automated wharehouse, and the like. I have contributed to the development of EVE: a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
Finite Trace
I focused on defining and solving synthesis variants of finite temporal specifications. The problem has direct applications in the areas of planning, business process management, as well as robotics, where agents tasks are assumed to be of finite duration.
Normative Systems
My recent focus has been on Normative Systems, concerning the problem of regulating MAS by means of norms and other formally defined machineries, employed to guarantee correct-by-construction behaviour of systems from a global/designer point of view.
研究兴趣
论文共 49 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2023): 708-715
ACM Transactions on Computational Logicno. 3 (2023): 1-38
引用1浏览0EI引用
1
0
引用0浏览0EI引用
0
0
International Symposium/Workshop on Temporal Representation and Reasoning (TIME)pp.15:1-15:14, (2022)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn