Jana Tůmová

From MaRDI portal
Person:290877

Available identifiers

zbMath Open tumova.janaMaRDI QIDQ290877

List of research outcomes





PublicationDate of PublicationType
Formal methods for robot motion planning with time and space constraints (extended abstract)2022-03-24Paper
Multi-robot LTL planning under uncertainty2021-05-04Paper
On the timed temporal logic planning of coupled multi-agent systems2019-02-05Paper
https://portal.mardi4nfdi.de/entity/Q46100392018-04-05Paper
Temporal Logic Control of Discrete-Time Piecewise Affine Systems2017-09-08Paper
Least-violating control strategy synthesis with safety rules2017-05-16Paper
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints2017-05-03Paper
Multi-agent planning under local LTL specifications and event-based synchronization2016-06-03Paper
Formal analysis of piecewise affine systems through formula-guided refinement2013-03-04Paper

Research outcomes over time

This page was built for person: Jana Tůmová

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:290877&oldid=10630470"
Powered by MediaWiki