16 citations · 47 across the 13 of their papers we have counts for
1 paper · 2 filters
Gilles Dowek, César Muñoz, Camilo Rocha
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logi…