Philip Tasche

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Topological Map

Simultaneous Localization And Mapping

Embedded Systems

Top Venues

Publications

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) (2024)
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
The VerCors Verifier: A Progress Report. CAV (2) (2024)
Philip Tasche, Paula Herber
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. ICST (2023)