Author of the publication

Motion planning in crowds using statistical model checking to enhance the social force model.

, , , , and . CDC, page 3602-3608. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach., , , , , , , , , and 9 other author(s). Intell. Serv. Robotics, 8 (2): 77-92 (2015)On the complexity of identifying Head Elementary Set Free programs, and . CoRR, (2009)QoS Control for Pipelines of Tasks Using Multiple Resources., and . IEEE Trans. Computers, 59 (3): 416-430 (2010)QoS Management Through Adaptive Reservations., , , , and . Real Time Syst., 29 (2-3): 131-155 (2005)Netlog: A Logic Query Language for Network Model Databases., , and . Data Knowl. Eng., (1991)Optimization of join strategies in distributed databases., , and . Inf. Syst., 16 (4): 363-374 (1991)Combining Description Logics with synopses for inferring complex knowledge patterns from XML sources., , , and . Inf. Syst., 32 (8): 1184-1224 (2007)The np-specnp-spec Project., and . Intelligenza Artificiale, 7 (1): 37-44 (2013)An object-oriented tool for simulating distributed real-time control systems., , , , , and . Softw. Pract. Exp., 32 (9): 907-932 (2002)Counterfactuals Explanations for Outliers via Subspaces Density Contrastive Loss., , , and . DS, volume 14276 of Lecture Notes in Computer Science, page 159-173. Springer, (2023)