Martin Tappler
4 papers · 2022–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(11)
Venues
Top co-authors
Research topics
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)
Papers
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
IJCAI 2025
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures
ACL 2024
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning
NeurIPS 2024
Search-Based Testing of Reinforcement Learning
IJCAI 2022