Titanilla Komenda

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Geographically Dispersed

Formal Verification

Spoken Dialogue Systems

Top Venues

Simul. Notes Eur.

Publications

Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael W. Hofbaur
A Formal Verification Approach for Robotic Workflows. ICAR (2021)
Mathias Brandstötter, Titanilla Komenda, Fabian Ranz, Philipp Wedenig, Hubert Gattringer, Lukas Kaiser, Guido Breitenhuber, Andreas Schlotzhauer, Andreas Müller, Michael W. Hofbaur
Versatile Collaborative Robot Applications Through Safety-Rated Modification Limits. RAAD (2019)
Titanilla Komenda, Wolfgang Leidholdt
ema - a Software Tool for Planning Human-Machine-Collaboration. Simul. Notes Eur. 26 (1) (2016)
Titanilla Komenda, Viktorio Malisa
Summarized evaluation of optimizing workload by implementing an ECTS-barometer. EDUCON (2013)