No. Title Author Year
1 Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity Virtema, Jonni et al. 2021
2 Counting of Teams in First-Order Team Logics Haak, Anselm et al. 2019
3 Extending C+ with Composite Actions for Robotic Task Planning Chen, Xiaoping et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 3

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