A
Menu
November 11, 2022 article Aachen paper

Controlling timed automata against MTL specifications with TACoS

Science of Computer Programming, vol. 225, pp. 102898

DOI: 10.1016/j.scico.2022.102898 OpenAlex

Authors 2

  1. Till Hofmann corresponding Aachen Knowledge-Based Systems Group

    RWTH Aachen University

    Affiliation as printed

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

  2. Stefan Schupp

    TU Wien

    Affiliation as printed

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

Cited by 2 stored of 2

2 results

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

References 22