Skip to content Skip to footer

Research Portal of the TU Dresden

Junior Professorship for Tactile Computing

Organisational unit: Junior professorship

Organisation profile

Chair Holder: Junior Prof. Dr. Verena Klös

Contact

TUD website: https://ceti.one/verena-klos/

Parent units

Institute of Systems Architecture

A Goal-Oriented Specification Language for Reinforcement Learning.

Schwan, S., Klös, V. & Glesner, S., 2023, p. 169-180. 12 p.

Research output: Contribution to conferences › Paper › Contributed › peer-review

Learning Mealy Machines with Local Timers

Kogel, P., Klös, V. & Glesner, S., 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer Science and Business Media B.V., p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14308 LNCS).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES)

Droste, J., Klos, V., Sadeghi, M., Schwarnmberger, M. & Speith, T., 2023, Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023. Schneider, K., Dalpiaz, F. & Horkoff, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 307-308 2 p. (Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (3)