Ábrahám, Erika

1. Parameter Synthesis for Markov Models: Covering the Parameter Space
   2019/03/16 by Sebastian Junges, Junges, Sebastian, Erika Ábrahám +11 · 4 citations
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Accelerating Parametric Probabilistic Verification
   2013/12/13 by Nils Jansen, Florian Corzilius, Jansen, Nils +11 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
3. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
   2023/04/28 by Delicaris, Joanna, Schupp, Stefan, Ábrahám, Erika +1 · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
4. ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection
   2024/10/14 by Aubard, Martin, Antal, László, Madureira, Ana +2 · 1 citation
   #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)