基本信息
浏览量:21
职业迁徙
个人简介
Research Interests
I am interested in automata and game theory and its applications in the construction and analysis of safety-critical systems. This includes constructions and decision procedures for automata over infinite words and trees and games with infinite duration, as well as algorithms and tools for the automated verification and synthesis of reactive systems and approaches to learn or infer optimal control strategies. My research concerns reactive computer systems and protocols: systems of concurrent processes that interact with each other and with their environment over a possibly infinite run. This family of systems contains many safety-critical applications like air traffic control systems, communication controllers in automotive systems, and security protocols. I study automated methods that prove that an implementation satisfies a logical property (verification); that derive implementations from logical specifications (synthesis); and that build models from observations (learning).
I am interested in automata and game theory and its applications in the construction and analysis of safety-critical systems. This includes constructions and decision procedures for automata over infinite words and trees and games with infinite duration, as well as algorithms and tools for the automated verification and synthesis of reactive systems and approaches to learn or infer optimal control strategies. My research concerns reactive computer systems and protocols: systems of concurrent processes that interact with each other and with their environment over a possibly infinite run. This family of systems contains many safety-critical applications like air traffic control systems, communication controllers in automotive systems, and security protocols. I study automated methods that prove that an implementation satisfies a logical property (verification); that derive implementations from logical specifications (synthesis); and that build models from observations (learning).
研究兴趣
论文共 173 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
AAAI 2024no. 19 (2024): 21125-21133
INFORMATION PROCESSING LETTERS (2024): 106468
Electronic proceedings in theoretical computer science (2024): 203-219
引用0浏览0EI引用
0
0
Formal Aspects Comput.no. 2 (2023): 12:1-12:24
引用0浏览0EI引用
0
0
Lecture notes series, Institute For Mathematical Sciences, National University of Singapore (2023)
引用0浏览0引用
0
0
arXiv (Cornell University) (2023)
引用0浏览0引用
0
0
Sven Schewe, Qisheng Tang
arXiv (Cornell University) (2023)
SSRN Electronic Journal (2023)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn