Martin Tappler
4 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(11)
🗺️
Taxonomy Completionist
(11)
Conferences
IJCAI (2)
ACL (1)
NIPS (1)
Top co-authors
Keywords
policy testing
(2)
deep reinforcement learning
(2)
policy evaluation
(1)
unsupervised clustering
(1)
formal verification
(1)
importance sampling
(1)
domain knowledge
(1)
recurrent neural network
(1)
semantic clustering
(1)
importance-driven testing
(1)
safety verification
(1)
state importance
(1)
symbolic representation
(1)
fuzz testing
(1)
rule mining
(1)
hidden state vector
(1)
search-based testing
(1)
boundary state
(1)
safety testing
(1)
metamorphic relation
(1)