Login / Signup
Paulina Maurer
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Model Checking
Timed Automata
Transition Systems
Finite State Machines
Top Venues
MODELS
ICRAI
Modellierung
</>
Publications
</>
Philipp Chrszon
,
Paulina Maurer
,
George Saleip
,
Sascha Müller
,
Philipp Martin Fischer
,
Andreas Gerndt
,
Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs.
Modellierung
(2024)
Philipp Chrszon
,
Paulina Maurer
,
George Saleip
,
Sascha Müller
,
Philipp Martin Fischer
,
Andreas Gerndt
,
Michael Felderer
Applicability of Model Checking for Verifying Spacecraft Operational Designs.
MODELS
(2023)
George Samuell Aiad Saleip Nasr Alla
,
Paulina Maurer
,
Abdelmonem Hassan
,
Michael Frangenberg
,
Wolfgang Granig
A Deep Learning Approach for Multi-copter Detection using mm-Wave Radar Sensors: Application of Deep Learning for Multi-copter detection using radar micro-Doppler signatures.
ICRAI
(2021)