László Antal

antal
Email
antal at cs.rwth-aachen.de
Phone
+49 241 80 21244
Address
Room 4227
Ahornstraße 55
D-52074 Aachen

Research Interests

  • Formal methods, especially modeling and verification techniques for AI-controlled hybrid systems

Teaching Assistance

  • Proseminar: Formal Methods (WS21/22)
  • Seminar: Satisfiability Checking (WS21/22)

Publications