Leveraging Horn clause solving for compositional verification of PLC software Dimitri BohlenderStefan Kowalewski OriginalPaper 26 November 2019 Pages: 1 - 24
Analysis and control of max-plus linear discrete-event systems: An introduction Bart De SchutterTon van den BoomSamira S. Farahani OriginalPaper Open access 02 December 2019 Pages: 25 - 54
Path planning for robotic teams based on LTL specifications and Petri net models Marius KloetzerCristian Mahulea OriginalPaper 02 December 2019 Pages: 55 - 79
On the relation between reactive synthesis and supervisory control of non-terminating processes Anne-Kathrin SchmuckThomas MoorRupak Majumdar OriginalPaper Open access 28 December 2019 Pages: 81 - 124
Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control Rui ChenChristos G. Cassandras OriginalPaper 30 December 2019 Pages: 125 - 153
A contribution to the determinization of max-plus automata Sébastien LahayeAiwen LaiJean-Louis Boimond OriginalPaper 29 January 2020 Pages: 155 - 174