基本信息
浏览量:82
职业迁徙
个人简介
Research Interests
Formal verification, control synthesis, and temporal logics in general, as well as formal methods applied in robot motion planning, control and analysis of dynamical and hybrid systems and multi-agent control.
Masaryk University Brno, Czech Republic
PhD in Informatics May 2013
Thesis: Quantitative Formal Methods for High-level Robot Path Planning
Supervisor: Ivana Černá
Consultant: Jiří Barnat
Rerum Naturalium Doctor Degree (RNDr.) awarded in May 2010.
Masaryk University Brno, Czech Republic
Master Degree (Mgr.) in Informatics Feb 2009
Thesis: Verification of Probabilistic Systems Against Quantified Linear Properties
Supervisor: Jiří Barnat
Specialization: Parallel and Distributed Systems
Graduated with honors
Masaryk University Brno, Czech Republic
Bachelor Degree (Bc.) in Applied Informatics Jun 2006
Thesis: Parallel Qualitative Verification of Probabilistic Systems
Supervisor: Jiří Barnat
Employment
Royal Institute of Technology (KTH) Stockholm, Sweden
Tenure-track Assistant Professor in Software Technology Jun 2016 – present
School of Computer Science and Communication
Robotics, Perception, and Learning Department
Royal Institute of Technology (KTH) Stockholm, Sweden
Postdoctoral Researcher Apr 2013 – May 2016
School of Electrical Engineering
Department of Automatic Control
With the ACCESS Linnaeus Center since Jul 2013, with ICT TNG SRA in 2015
Supervisor: Dimos Dimarogonas
Project: Distributed formal methods-based control of a cooperating team of robots from temporal logic specifications
within EU STREP RECONFIG (Cognitive, Decentralized Coordination of Heterogeneous Multi-Robot Systems via
Reconfigurable Task Planning)
Masaryk University (MU) Brno, Czech Republic
PhD Student 2009 – 2013
Faculty of Informatics (FI), Laboratory of Parallel and Distributed Systems
Supervisors: Ivana Černá, Jiří Barnat
Project: Quantitative formal methods for high-level robot path planning from temporal logic specifications
研究兴趣
论文共 95 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
arxiv(2024)
引用0浏览0引用
0
0
arxiv(2024)
引用0浏览0引用
0
0
AAAI 2024no. 19 (2024): 21276-21284
MEDpp.842-849, (2023)
引用0浏览0EIWOS引用
0
0
IEEE ROBOTICS AND AUTOMATION LETTERSno. 12 (2023): 8565-8572
Autonomous Robotsno. 8 (2023): 1439-1462
2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)pp.11420-11427, (2023)
CASEpp.1-7, (2023)
引用0浏览0EIWOS引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn