Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni and Sayan Mitra

This paper presents SkyTrakx—a software toolkit for simulation and verification of Unmanned Aircraft System Traffic Management (UTM) scenarios based on Operation Volumns.  (pdf, extended version on arXiv) (video presentation)

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic and Sayan Mitra

This paper presents Koord—a domain specific language for distributed robotics—which abstracts platform-specific functions for sensing, communication, and low-level control.  (pdf, preprint version) (video presentation)

Ritwika Ghosh, Joao Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra and Geir Dullerud 

This paper introduces the CyPhyHouse - a toolchain that aims to provide similar programming, debugging, and deployment benefits for distributed mobile robotic applications.  (pdf, extended version on arXiv)  (video presentation)

Ritwika Ghosh, Sasa Misailovic and Sayan Mitra

This paper presents the executable semantics of Koord in the K framework, including tools for formal analyses. (pdf)

Yixiao Lin and Sayan Mitra

The StarL framework for programming, simulating, and verifying distributed systems that interacts with physical processes is the precursor to CyPhyHouse, and a Java alternative to our Python middleware. (pdf)