1 citations · 1 across the 2 of their papers we have counts for
4 papers
Comparing State-Representations for DEL Model Checking
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh +1
Model checking with the standard Kripke models used in (Dynamic) Epistemic Logic leads to scalability issues. Hence alternative representations have been developed, in particular s…
Phys2Real: Fusing VLM Priors with Interactive Online Adaptation for Uncertainty-Aware Sim-to-Real Manipulation
Maggie Wang, Stephen Tian, Aiden Swann +3
Learning robotic manipulation policies directly in the real world can be expensive and time-consuming. While reinforcement learning (RL) policies trained in simulation present a sc…
Towards Foundation Models for 3D Vision: How Close Are We?
Yiming Zuo, Karhan Kayan, Maggie Wang +3
Building a foundation model for 3D vision is a complex challenge that remains unsolved. Towards that goal, it is important to understand the 3D reasoning capabilities of current mo…
FlowDB a large scale precipitation, river, and flash flood dataset
Isaac Godfried, Kriti Mahajan, Maggie Wang +2
Flooding results in 8 billion dollars of damage annually in the US and causes the most deaths of any weather related event. Due to climate change scientists expect more heavy preci…