Showing 2024Show all
3 papers · 1 filter
cs.CR2024
Symbolic Quantitative Information Flow for Probabilistic Programs
Philipp Schröer, Francesca Randone, Raúl Pardo +1
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discus…
cs.LO2024
Towards a Proof System for Probabilistic Dynamic Logic
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo +2
Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable excepti…
cs.RO2024
Risk-Averse Planning and Plan Assessment for Marine Robots
Mahya Mohammadi Kashani, Tobias John, Jeremy P. Coffelt +2
Autonomous Underwater Vehicles (AUVs) need to operate for days without human intervention and thus must be able to do efficient and reliable task planning. Unfortunately, efficient…