Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Shenghua Feng
Publications with FICTION
Journal Articles
Shenghua Feng
,
Mingshuai Chen
,
Han Su
,
Benjamin Lucien Kaminski
,
Joost-Pieter Katoen
,
Naijun Zhan
(2023).
Lower Bounds for Possibly Divergent Probabilistic Programs
.
Proc. ACM Program. Lang. (OOPSLA)
.
PDF
Cite
Poster
Slides
DOI
Conference Papers
Shenghua Feng
,
Mingshuai Chen
,
Bai Xue
,
Sriram Sankaranarayanan
,
Naijun Zhan
(2020).
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
. In
CAV 2020
.
PDF
Cite
Slides
Video
DOI
Artifact Evaluated
Pulp Fiction
Shenghua Feng
,
Mingshuai Chen
,
Naijun Zhan
,
Martin Fränzle
,
Bai Xue
(2019).
Taming Delays in Dynamical Systems
. In
CAV 2019
.
PDF
Cite
Slides
DOI
Artifact Evaluated
Cite
×