Boris Konev

Papers

Total Citations

H-Index

About

Boris Konev is a researcher whose work spans temporal logic, automated reasoning, and multi-robot systems. He is best known for his contributions to temporal resolution theorem proving, notably through the development of **TRP++ 2.0** (2003, 62 citations), a widely used temporal resolution prover that has become a foundational tool for verifying time-dependent systems. Konev has also made significant strides in the verification of fault-tolerant protocols (2009, 6 citations), applying temporal logic to ensure reliability in distributed systems. In recent years, his research has expanded into multi-agent robotics, with impactful work on **scalable distributed collaborative tracking and mapping using Micro Aerial Vehicles (MAVs)** (2015, 5 citations). This work introduced a distributed framework that enables large teams of drones to perform real-time localisation and mapping by offloading computation from onboard devices, a key advancement for autonomous exploration. His paper on multi-agent environment exploration with AR.Drones (2014, 10 citations) further demonstrates his ability to bridge theoretical verification with practical robotics. With a career that combines deep theoretical insights with applied engineering, Konev’s research continues to influence both automated reasoning and autonomous systems.