2026-07-22T03:55:32Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3909 2024-03-06T10:25:55Z ddc:004 open_access

Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) Bjorner, Nikolaj Chatterjee, Krishnendu Kovacs, Laura Majumdar, Rupak M. Systems Engineering Software Verification Reactive Synthesis Automated Deduction This report documents the program and the outcomes of the Dagstuhl Seminar 12461 "Games and Decisions for Rigorous Systems Engineering". The seminar brought together researchers working in rigorous software engineering, with a special focus on the interaction between synthesis and automated deduction. This event was the first seminar of this kind and a kickoff of a series of seminars organised on rigorous systems engineering. The theme of the seminar was close in spirit to many events that have been held over the last decades. The talks scheduled during the seminar naturally reflected fundamental research themes of the involved communities. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nikolaj Bjorner and Krishnendu Chatterjee and Laura Kovacs and Rupak M. Majumdar 2013 Is Part Of Dagstuhl Reports, Volume 2, Issue 11 (2013) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.2.11.45 urn:nbn:de:0030-drops-39092 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.11.45 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode