Menü
Positionsanzeige
Inhalt

[ 536KNRRFOMV25 ] VL Formal Models in AI
Versionsauswahl
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year (*)Artificial Intelligence Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Artificial Intelligence 2025W
Learning Outcomes
Competences
Students possess knowledge of formal methods to model and specify systems in computer science.
Skills Knowledge
Students can

  • understand system descriptions based on formal models (K2, K5)
  • concisely describe systems with formal models (K3, K4)
  • solve simple verification and planning problems with formal models (K3, K4)
  • apply SAT solvers for real-world applications (K2, K3)
  • understands strengths of weaknesses of different formalisms w.r.t. to specific use cases (K4, K5)
  • finite state machines
  • Petri nets
  • temporal logics
  • bounded model checking
  • planning
  • Markov decision processes
Criteria for evaluation Multiple small tests and exercises or exam over the full course content (both jointly with the corresponding exercise class).
Methods Slide-based presentation plus exercises.
Language English
Changing subject? No
Further information This lecture and the associated exercise course form an inseparable didactic unit. The learning outcomes presented here are achieved through the close interaction of the two courses.
Is completed if Considered completed if: 'Formal Models' (VO INBIPVOFOMO) is completed by 30.9.2025.
On-site course
Maximum number of participants -
Assignment procedure Assignment according to priority