Controlling timed automata against MTL specifications with TACoS
Year: 2022
Type: article
Source: Science of Computer Programming
Authors: Till Hofmann, Stefan Schupp
Institutions: RWTH Aachen University, TU Wien
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Awards: G2302795432, G3586905159, G3827193553
OpenAlex ID: W4308800467