Speaker
András Földvári
Budapest University of Technology and Economics, Hungary
Talks at this conference:
| 14:00 | Model-driven, logic-supported exploratory dependability analysis |
| 16:00 | Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems |