Activities per year
- 4 results
Search results
-
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Martin Tappler (Speaker)
21 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Adaptive Shielding under Uncertainty
Martin Tappler (Speaker)
27 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Active Model Learning of Stochastic Reactive Systems
Martin Tappler (Speaker)
10 Dec 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
1st Usages of Symbolic Execution Workshop USE'15
Martin Tappler (Speaker)
23 Jun 2015Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science