No. Title Author Year
1 Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans Cashmore, Michael et al. 2021
2 Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans Ribeiro, Tomás et al. 2021
3 SMT-Based Model Checking of Max-Plus Linear Systems Mufid, Muhammad Syifa'ul et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI