Monter d'un niveau |
Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhães, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Communication écrite]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. Lien externe
Panerati, J., Gianoli, L., Pinciroli, C., Shabah, A., Nicolescu, G., & Beltrame, G. (mai 2018). From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints [Communication écrite]. IEEE International Conference on Robotics and Automation (ICRA 2018), Brisbane, Australia. Lien externe