No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Combi, Carlo et al. 2021
2 LIPIcs, Volume 206, TIME 2021, Complete Volume Combi, Carlo et al. 2021
3 Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions Brunello, Andrea et al. 2019
4 A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty Gigante, Nicola et al. 2018
5 Population Based Methods for Optimising Infinite Behaviours of Timed Automata Tolonen, Lewis et al. 2018
Current Page :
Number of result pages: 1
Number of documents: 5

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