Login / Signup
Bernhard K. Aichernig
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 72
Top Topics
Formal Models
Mutation Testing
Markov Decision Processes
Recurrent Neural Networks
Top Venues
CoRR
NFM
Softw. Syst. Model.
ICTSS
</>
Publications
</>