2 citations · 4 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…