Indice
buscar
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anterior Revisión previa Próxima revisión | Revisión previa | ||
|
publicaciones [2026/01/09 09:14] ezpeleta |
publicaciones [2026/01/09 09:16] (actual) ezpeleta |
||
|---|---|---|---|
| Línea 1: | Línea 1: | ||
| • Sofia Hustiu, Joaquín Ezpeleta, Cristian Mahulea, Marius Kloetzer \\ | • Sofia Hustiu, Joaquín Ezpeleta, Cristian Mahulea, Marius Kloetzer \\ | ||
| - | **Multi-robot motion planning based on Nets-within-Nets modeling and simulation,**\\ | + | **Multi-robot motion planning based on Nets-within-Nets modeling and simulation**\\ |
| Robotics and Autonomous Systems, Vol. 197 (2026), ISSN 0921-8890, DOI: https://doi.org/10.1016/j.robot.2025.105287 | Robotics and Autonomous Systems, Vol. 197 (2026), ISSN 0921-8890, DOI: https://doi.org/10.1016/j.robot.2025.105287 | ||
| Línea 29: | Línea 29: | ||
| • J. M. Couvreur, J. Ezpeleta\\ | • J. M. Couvreur, J. Ezpeleta\\ | ||
| **A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes** \\ | **A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes** \\ | ||
| - | Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), Neuchâtel, Switzerland, December 6-8, 2017, ISSN: 1613-0073, Lecture Notes in Business Information Processing, Vol. 340, Springer, Paolo Ceravolo, Maurice van Keulen and Kilian Stoffel (Eds.), 2019 | + | Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017) \\ |
| + | Neuchâtel, Switzerland, December 6-8, 2017, ISSN: 1613-0073, Lecture Notes in Business Information Processing \\ | ||
| + | Vol. 340, Springer, Paolo Ceravolo, Maurice van Keulen and Kilian Stoffel (Eds.), 2019 | ||
| • E. González-López de Murillas, J. Fabra, P Álvarez, J. Ezpeleta \\ | • E. González-López de Murillas, J. Fabra, P Álvarez, J. Ezpeleta \\ | ||
