3 research outputs found
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)
This article presents a progress report from the last two years of the Teaching Digital Thinking (TDT) project. This project aims to implement new concepts, didactic methods, and teaching formats for sustainable digital transformation in Austrian Universities’ curricula by introducing new digital competencies. By equipping students and teachers with 21st-century digital competencies, partner universities can contribute to solving global challenges and organizing pilot projects. In line with the overall project aims, this article presents the ongoing digital transformation activities, courses, and research in the project, which have been carried out by the five partner universities since 2020, and briefly discusses the results. This article presents a summary of the research and educational activities carried out within two parts: complementary research and pilot projects
The first reactive synthesis competition (SYNTCOMP 2014)
We introduce the reactive synthesis competition (SYNTCOMP), a long-term
effort intended to stimulate and guide advances in the design and application
of synthesis procedures for reactive systems. The first iteration of SYNTCOMP
is based on the controller synthesis problem for finite-state systems and
safety specifications. We provide an overview of this problem and existing
approaches to solve it, and report on the design and results of the first
SYNTCOMP. This includes the definition of the benchmark format, the collection
of benchmarks, the rules of the competition, and the five synthesis tools that
participated. We present and analyze the results of the competition and draw
conclusions on the state of the art. Finally, we give an outlook on future
directions of SYNTCOMP.Comment: 24 pages, published in STT