Abstract is missing.
- MAPmAKER: performing multi-robot LTL planning under uncertaintySergio GarcĂa 0002, Claudio Menghi, Patrizio Pelliccione. 1-4 [doi]
- A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environmentsPiergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei. 5-12 [doi]
- Visualizing the "hidden" variables in robot programsDavid C. Shepherd, Nicholas A. Kraft, Patrick Francis. 13-16 [doi]
- Exposing off-nominal behaviors in multi-robot coordinationKaushik Madala, Hyunsook Do, Daniel Aceituna. 17-24 [doi]
- Towards systematic engineering of collaborative heterogeneous robotic systemsSimos Gerasimou, Nicholas Matragkas, Radu Calinescu. 25-28 [doi]
- Novice-friendly multi-armed robotics programmingNico Ritschel, Reid Holmes, Ronald Garcia, David C. Shepherd. 29-32 [doi]
- High level synthesis of ROS protocol interpretation and communication circuit for FPGATakeshi Ohkawa, Yuhei Sugata, Harumi Watanabe, Nobuhiko Ogura, Kanemitsu Ootsu, Takashi Yokota. 33-36 [doi]