2 papers
cs.RO2026
Realizability Is Not Enough: Encoding, Liveness, and Auditing of Synthesized Robot Supervisors
David C. Conner, Joshua Luzier, William J. Doyle +7
High-level robotic supervisors coordinate capabilities whose reported outcomes determine the robot's next action. Reactive synthesis can generate such supervisors with formal guara…
astro-ph.IM2026
Mosaic: Area-Closed Spherical Surface Mosaics Induced by Cartesian Grids
H. F. Counts, Mihaela Dobrescu, D. Heddle +2
We describe Mosaic, a computational geometry method for constructing the surface mosaic induced when a Cartesian volume grid intersects a spherical shell. The motivating applicatio…