Doktorand:in
Kaiserstraße 21
66386 St. Ingbert (Germany)
National Conference of the American Association for Artificial Intelligence (AAAI)
International Symposium on Automated Technology for Verification and Analysis (ATVA)