5 citations · 10 across the 9 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Erratum to "Frequency Linear-time Temporal Logic"
Benedikt Bollig, Normann Decker, Martin Leucker
We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
cs.LG2020★ 5 cited
Property-Directed Verification of Recurrent Neural Networks
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy +6
This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a g…
cs.FL2020
Synthesis in Presence of Dynamic Links
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer +2
The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behav…