Martin Tappler

Martin Tappler is a Postdoctoral Researcher in the Cyber-Physical Systems group at TU Wien's Faculty of Informatics. His work focuses on formal methods, scalable testing for AI systems, and NLP model interpretability.

Publications include studies on generative automata models, importance-driven testing for reinforcement learning, and semantic analysis of RNNs. He contributes to the TAIGER project (2023-2027) on AI-driven systems.