Items where authors include "ULRICH-OLTEAN, FELIX"

Proceedings Paper

ULRICH-OLTEAN, FELIX orcid.org/0000-0001-5162-5826, BATE, IAIN JOHN orcid.org/0000-0003-2415-8219, LIU, PENGCHENG orcid.org/0000-0003-0677-4421 et al. (1 more author) (2026) PAMPR: Predictability-Aware Motion Planning for Robots. In: Annual Conference Towards Autonomous Robotic Systems:proceedings. 27th Annual Conference Towards Autonomous Robotic Systems, 07-09 Sep 2026. Lecture Notes in Computer Science . Springer , GBR .

Johnson, Victoria, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, FOSTER, SIMON DAVID orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2026) Verifying Properties of State-Based Models using Constraint Programming. In: ABZ 2026: The 12th International Conference on Rigorous State Based Models. UNSPECIFIED. Springer Nature Switzerland . (In Press)