基本信息
views: 84

Bio
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
Research Interests
Papers共 110 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
IEEE Open Journal of Intelligent Transportation Systems (2025): 1-10
Pedro Roque, Sujet Phodapol, Elias Krantz, Jaeyoung Lim, Joris Verhagen, Frank Jiang, David Dorner,Roland Siegwart, Ivan Stenius, Gunnar Tibert, Huina Mao,Jana Tumova, Christer Fuglesang,Dimos V. Dimarogonas
arxiv(2025)
Cited0Views0Bibtex
0
0
CoRR (2024)
Cited0Views0EIBibtex
0
0
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2024)
CoRR (2024)
Cited0Views0EIBibtex
0
0
CoRR (2024)
Cited0Views0EIBibtex
0
0
CoRR (2024)
Cited0Views0EIBibtex
0
0
Yifei Dong, Shaohang Han,Xianyi Cheng,Werner Friedl, Rafael I. Cabral Muchacho,Máximo A. Roa,Jana Tumova,Florian T. Pokorny
CoRR (2024)
Cited0Views0EIBibtex
0
0
Load More
Author Statistics
#Papers: 110
#Citation: 1490
H-Index: 24
G-Index: 36
Sociability: 5
Diversity: 2
Activity: 26
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn