The workshop received 12 tool submissions which were carefully reviewed and evaluated with respect to the following criteria in order of importance: 1) scope of
the tool, 2) the impact on the formal methods for robotics community , 3) the demonstration plan, 4) usability, and 5) the development stage.
Khen Elimelech, Rice University, USA
Karan Muvvala, University of Colorado Boulder, USA
Yuanfei Lin, Technical University of Munich, Germany
Luigi Berducci, TU Wien, Austria
Qi Heng Ho, University of Colorado Boulder, USA
Kandai Watanabe, University of Colorado Boulder, USA
Gustavo Cardona, Lehigh University, USA
Ranai Srivastav, Iowa State University, USA
Ranai Srivastav, University of Texas Austin, USA