Browsing by Author "Dinh, H.T."

Now showing 1 - 2 of 2

A survey on probabilistic planning and temporal scheduling with safety guarantees

Vermaelen, J.
;
Dinh, H.T.
;
Holvoet, T.
Proceedings paper
2020, ICAPS Workshop on Planning and Robotics, 21/10/2020
Formal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDP

Vermaelen, J.
;
Dinh, H.T.
;
Holvoet, T.
Proceedings paper
2020, Advances in Practical Applications of Agents and Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 7/10/2020, p.315-326