| Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers GF Schuppe, J Tumova 2021 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), 2021 | 6 | 2021 |
| Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints W Wang, GF Schuppe, J Tumova 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 3 | 2022 |
| Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition GF Schuppe, J Tumova 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 3 | 2020 |
| Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints W Wang, GF Schuppe, J Tumova 2023 31st Mediterranean Conference on Control and Automation (MED), 842-849, 2023 | 1 | 2023 |
| SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications C Pek, GF Schuppe, F Esposito, J Tumova, D Kragic Autonomous Robots 47 (8), 1439-1462, 2023 | | 2023 |
| Soundness and Completeness of a Model-Checking Proof System for CTL GF Schuppe, D Gurov arXiv preprint arXiv:2309.05389, 2023 | | 2023 |
| Assumptions in Synthesis: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications GF Schuppe KTH Royal Institute of Technology, 2023 | | 2023 |
| Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop GF Schuppe, I Torre, I Leite, J Tumova | | 2023 |
Jana TumovaKTHVerified email at kth.se
