43 citations · 96 across the 13 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Scaling Observation-aware Planning in Uncertain Domains
Adrian Zvizdenco, Arthur Conrado Veiga Bosquetti, Alberto Lluch Lafuente +1
Deciding which sensing capabilities to deploy on an agent in uncertain domains is a fundamental engineering challenge, in which one balances task achievability against the high cos…
cs.PL2026
Caesar: A Deductive Verifier for Probabilistic Programs
Philipp Schröer, Kevin Batz, Umut Yiğit Dural +4
Caesar is a deductive verifier for probabilistic programs. At its core lies HeyVL, a quantitative intermediate verification language based on the real-valued logic HeyLo. HeyVL all…