Sign in
Philip Heltweg
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Computation Tree Logic
Automated Verification
Model Checking
Belief State
Top Venues
FCR@KI
HICSS
</>
Publications
</>
Philip Heltweg
,
Dirk Riehle
Challenges to Open Collaborative Data Engineering.
HICSS
(2023)
Kai Sauerwald
,
Philip Heltweg
On Using Model Checking for the Certification of Iterated Belief Changes.
FCR@KI
(2021)