Items where authors include "Camara Moreno, Javier"

Proceedings Paper

Zhang, Qi, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Camara Moreno, Javier et al. (1 more author) (2023) Towards Lifelong Social Robot Navigation in Dynamic Environments. In: 24th Towards Autonomous Robotic Systems Conference (TAROS), Proceedings. 24th Towards Autonomous Robotic Systems Conference (TAROS), 13-15 Sep 2023. Springer , GBR .

Gerasimou, Simos orcid.org/0000-0002-2706-5272, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2022) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Camara Moreno, Javier orcid.org/0000-0001-6717-4775 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2019) Socio-Cyber-Physical Systems:Models, Opportunities, Open Challenges. In: 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems. UNSPECIFIED. IEEE .