Fredrik Heintz
Papers
32
Total Citations
733
H-Index
15
About
Fredrik Heintz is a Swedish researcher whose work spans autonomous systems, knowledge processing, and AI-driven robotics. Best known for his contributions to autonomous exploration and middleware frameworks, Heintz has shaped how intelligent systems perceive, process, and act upon real-world information. His most cited work, "Efficient Autonomous Exploration Planning of Large-Scale 3-D Environments" (2019, 221 citations), advances robotic mapping and navigation by bridging frontier-based and next-best-view planning approaches — a foundational contribution to autonomous robotics. Equally influential is his development of DyKnow, a stream-based knowledge processing middleware framework that enables autonomous systems to dynamically construct qualitative representations from raw sensor data, bridging perception and deliberative reasoning in real-time environments. Heintz has also made significant strides in formal reasoning under uncertainty, developing probabilistic extensions to Metric Temporal Logic for safety-critical autonomous systems, and exploring stream reasoning for robots operating in complex, unpredictable settings. His work on distributed architectures for unmanned aerial vehicles further demonstrates his range across both theoretical and applied robotics. Collectively, his research addresses one of AI's central challenges: enabling autonomous agents to reason reliably in dynamic, uncertain environments — work that continues to influence robotics, AI safety, and intelligent systems research worldwide.
Research Focus
Key Achievements
Top Papers
- 1Efficient Autonomous Exploration Planning of Large-Scale 3-D Environments221 citations · 2019
- 2
- 3DyKnow : A Stream-Based Knowledge Processing Middleware Framework57 citations · 2009
- 4DyKnow: An approach to middleware for knowledge processing45 citations · 2004
- 5Incremental reasoning in probabilistic Signal Temporal Logic26 citations · 2020
- 6
- 7
- 8Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty22 citations · 2019
- 9
- 10A Distributed Task Specification Language for Mixed-Initiative Delegation19 citations · 2011