January 01, 2021 conference-paper Aachen paper

TACoS: A Tool for MTL Controller Synthesis

Lecture notes in computer science, pp. 372–379

DOI: 10.1007/978-3-030-92124-8_21 OpenAlex

Authors 2

Till Hofmann corresponding Aachen Knowledge-Based Systems Group

RWTH Aachen University

Affiliation as printed

Knowledge-Based Systems Group, RWTH Aachen University, Aachen, Germany
Stefan Schupp

TU Wien

Affiliation as printed

Cyber-Physical Systems Group, TU Wien, Vienna, Austria

Cited by 3 stored of 3

3 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 21

A theory of timed automata
1994 Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

6,515

citations
Specifying real-time properties with metric temporal logic
1990 Real-Time Systems article Computer Science Formal Methods in Verification

1,197

citations
Temporal-Logic-Based Reactive Mission and Motion Planning
2009 IEEE Transactions on Robotics article Computer Science Robotic Path Planning Algorithms

767

citations
Parametric real-time reasoning
1993 ACM Symposium on Theory of Computing (STOC) conference-paper Computer Science Formal Methods in Verification

408

citations
Controller Synthesis for Timed Automata 1
1998 IFAC Proceedings Volumes conference-paper Computer Science Formal Methods in Verification

312

citations
UPPAAL-Tiga: Time for Playing Games!
2007 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

272

citations
On the Decidability of Metric Temporal Logic
2006 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

173

citations
Acacia+, a Tool for LTL Synthesis
2012 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

127

citations
Unbeast: Symbolic Bounded Synthesis
2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

73

citations
An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications
2016 Proceedings of the ... American Control Conference/Proceedings of the American Control Conference conference-paper Computer Science Formal Methods in Verification Open access

57

citations
Timed Control Synthesis for External Specifications
2002 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

52

citations
Cooperative task planning of multi-agent systems under timed temporal specifications
2016 Proceedings of the ... American Control Conference/Proceedings of the American Control Conference conference-paper Computer Science Formal Methods in Verification Open access

47

citations
Reactive synthesis for finite tasks under resource constraints
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) conference-paper Computer Science AI-based Problem Solving and Planning

39

citations
Controller Synthesis for MTL Specifications
2006 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

35

citations
Synthia: Verification and Synthesis for Timed Automata
2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

31

citations
Template-Based Controller Synthesis for Timed Systems
2012 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

24

citations
Maximally permissive controlled system synthesis for non-determinism and modal logic
2016 Discrete Event Dynamic Systems article Computer Science Petri Nets in System Modeling Open access

19

citations
Practical controller synthesis for MTL 0,∞
2017 conference-paper Computer Science Formal Methods in Verification

8

citations
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
2021 conference-paper Computer Science AI-based Problem Solving and Planning Open access

1

citations
W2963657380
details pending

0

citations