Time to Learn and Check - Enhancing Timed Automata Learning with Model Checking

Activity: Talk or presentation › Invited talk › science-to-science

Period02 Nov 2025
Event titleAISOLA 2025 - Bridging the Gap Between AI and Reality, International Conference: Track on 30 Years of UPPAAL
Event typeConference
LocationRhodes, GreeceShow on map
Degree of RecognitionInternational

Fields of science

  • 102031 Theoretical computer science
  • 603109 Logic
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 202006 Computer hardware
  • 102 Computer Sciences

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management

UN SDGs

This activity contributes to the following UN Sustainable Development Goals (SDGs)

  • SDG 9 - Industry, Innovation, and Infrastructure

Related content