1.
|
Linear-time temporal logic control of discrete event models of cooperative robots Lacerda, Bruno - Lima, Pedro
|
2.
|
A grammatical approach to the modeling of an autonomous robot López García, Gabriel - Gallego Sánchez, Antonio Javier - Dalmau Espert, J. Luis - Molina Carmona, Rafael - Compañ Rosique, Patricia
|