Philipp Kastenmüller

Orcid: 0009-0007-1342-5437

According to our database¹, Philipp Kastenmüller authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Let's do the swarm flight again: unleashing the potential of PROTEASE 2.0 for drone formation flight.

[DOI]

Int. J. Softw. Tools Technol. Transf., December, 2025

2024

An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE<sup>2.0</sup>.

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024