Efficient planning in continuous state and action spaces is fundamentally hard, even when the transition model deterministic known. One way to alleviate this challenge perform bilevel with abstractions, where a high-level search for abstract plans used guide original space. Previous work has shown that abstractions form of symbolic predicates are hand-designed, operators samplers can be learned...

Abstract Construction and analysis of distributed systems is difficult; choreographic programming a deadlock-freedom-by-construction approach to simplify it. In this paper, we present new theory programming. It supports for the first time: construction that require decentralised decision making (i.e., if/while-statements with multiparty conditions); provide not only deadlock freedom but also fu...