The following paper has been accepted for publication in ACM Transactions on Computational Logic:Extensible Proof Systems for Infinite-State Systems, by Rance Cleaveland (University of Maryland, College Park) and Jeroen Keiren
News
Two papers accepted at ICTAC 2023
Two papers submitted by members of FSA were accepted for publication at ICTAC 2023, which will take place in Peru. The following will be presented there: Simplifying process parameters by unfolding algebraic data types, by …continue reading
VENI grant awarded
The VENI grant is part of the NWO Talent Programme and targets excellent researchers who have recently obtained their PhDs. Our group member Clemens Dubslaff has been awarded one of the grants for a project …continue reading
Four papers accepted at CONCUR
A whopping four papers, submitted by members of the FSA group, have been accepted for publication in this year’s CONCUR edition in Antwerp. Bas Luttik and Myrthe Spronck have a paper on multi-writer, multi-reader non-atomic …continue reading
Master thesis award
The VERSEN master thesis award was granted to Kevin Jilissen for his master thesis showing that tunnel software can formally be verified, exposing some design errors.
Two papers accepted at IJCAI 2023
We are happy to have two papers accepted at IJCAI 2023: “More for Less: Safe Policy Improvement With Stronger Performance Guarantees” together with TU Dresden and Radboud University Nijmegen and “A Unifying Formal Approach to …continue reading
Paper accepted at NASA formal methods
The paper “Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access” by C. Dubslaff from FSA and a collaboration with TU Dresden (P. Wienhöft, C. Baier, and S. J. Kiebel) has been accepted for …continue reading
New book: ‘Spelen met oneindigheid’
Hans Zantema has published a book (‘Spelen met oneindigheid, verrassende figuren en patronen’, in Dutch—English translation is work in progress) about infinite sequences and their visualisations, see this link. An interview with Hans can be …continue reading
Visitor: Maurice ter Beek
Maurice ter Beek (ISTI, CNR, Pisa) will be visiting us from 1-6 March. He’ll be working on variability parity games, together with Erik de Vink and Tim Willemse.
New book on mCRL2
The book ‘Understanding behaviour of distributed systems using mCRL2‘, written by Muhammad Atif and Jan Friso Groote has appeared in the Systems, Decision and Control series of Springer. It gives an introduction into mCRL2 with …continue reading