Formalising Natural Language Quantifiers for Human-Robot Interactions. - Stefan Morar; Adrian Groza; Mihai Pomarlan (CoRR, 2023)