Mattias Tiger
Papers
7
Total Citations
285
H-Index
4
About
Mattias Tiger is a leading researcher at the intersection of autonomous robotics, artificial intelligence, and formal safety verification. His primary contributions lie in advancing autonomous exploration and planning for large-scale, dynamic 3D environments, where his seminal work "Efficient Autonomous Exploration Planning of Large-Scale 3-D Environments" has garnered over 220 citations, establishing a foundational framework for frontier exploration and next-best-view planning. Tiger has also pioneered the integration of logical and probabilistic reasoning for robot safety, notably through incremental reasoning in probabilistic Signal Temporal Logic, which addresses the critical challenge of guaranteeing safe operation in uncertain, rapidly-changing real-world settings. His research extends to coverage path planning for complex urban environments, such as autonomous road sweeping, and stream-based reasoning using temporal logic and predictive state models. With a growing body of work that bridges theoretical rigor and practical deployment, Tiger is shaping the future of safety-aware autonomous systems, preparing robots for life in the real world.
Research Focus
Key Achievements
Top Papers
- 1Efficient Autonomous Exploration Planning of Large-Scale 3-D Environments221 citations · 2019
- 2Incremental reasoning in probabilistic Signal Temporal Logic26 citations · 2020
- 3
- 4
- 5
- 6
- 7