C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Philip Tasche
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Simultaneous Localization And Mapping
Unscented Kalman Filter
Indoor Environments
Mobile Robotics
Top Venues
ICST
VMCAI (2)
</>
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)
Philip Tasche
,
Paula Herber
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping.
ICST
(2023)