受强制性开放获取政策约束的文章 - Martin Tappler了解详情
无法在其他位置公开访问的文章：2 篇
Hierarchical Learning of Generative Automaton Models from Sequential Data
B von Berg, BK Aichernig, M Rindler, D Štern, M Tappler
International Conference on Software Engineering and Formal Methods, 215-233, 2024
强制性开放获取政策： European Commission
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks
M Tappler, F Lorber
2024 IEEE International Conference on Software Testing, Verification and …, 2024
强制性开放获取政策： European Commission
可在其他位置公开访问的文章：10 篇
Model learning and model-based testing
BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
强制性开放获取政策： Swedish Research Council
Time to Learn–Learning Timed Automata from Tests
M Tappler, BK Aichernig, KG Larsen, F Lorber
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
强制性开放获取政策： European Commission
-Based Learning of Markov Decision Processes
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
强制性开放获取政策： European Commission
L*-Based Learning of Markov Decision Processes (Extended Version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing, 2021
强制性开放获取政策： European Commission
Online shielding for reinforcement learning
B Könighofer, J Rudolf, A Palmisano, M Tappler, R Bloem
Innovations in Systems and Software Engineering 19 (4), 379-394, 2023
强制性开放获取政策： European Commission
Automata learning meets shielding
M Tappler, S Pranger, B Könighofer, E Muškardin, R Bloem, K Larsen
Leveraging Applications of Formal Methods, Verification and Validation …, 2022
强制性开放获取政策： European Commission
Testing Software in Production Environments with Data from the Field
L Gazzola, L Mariani, M Orrú, M Pezze, M Tappler
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
强制性开放获取政策： Government of Italy
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
M Tappler, A Pferscher, BK Aichernig, B Könighofer
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
强制性开放获取政策： European Commission
Learning minimal automata with recurrent neural networks
BK Aichernig, S König, C Mateis, A Pferscher, M Tappler
Software and Systems Modeling, 1-31, 2024
强制性开放获取政策： European Commission
Health of smart ecosystems
N El Moussa, D Molinelli, M Pezzè, M Tappler
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定