论文信息 - Abstraction-based Model Checking of POMDPs in Motion Planning ∗ - 字舞流文

Abstraction-based Model Checking of POMDPs in Motion Planning ∗

B. Becker | U. Topcu | J. Katoen | Sebastian Junges | N. Jansen | Ralf Wimmer | Leonore Winterer