Marcel Moosbrugger

Available identifiers

zbMath Open moosbrugger.marcelMaRDI QIDQ2233476

List of research outcomes

Publication	Date of Publication	Type
Exact and approximate moment derivation for probabilistic loops with non-polynomial assignments	2024-11-15	Paper
The probabilistic termination tool amber	2024-01-08	Paper
Solving invariant generation for unsolvable loops	2023-07-28	Paper
Moment-based invariants for probabilistic loops with non-polynomial assignments	2023-06-02	Paper
Distribution estimation for probabilistic loops	2023-06-02	Paper
Automated termination analysis of polynomial probabilistic programs	2021-10-18	Paper
Encoding structural information uniquely with polynomial-based descriptors by employing the Randić matrix	2019-03-18	Paper

Research outcomes over time

This page was built for person: Marcel Moosbrugger