40 citations · 56 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017★ 1 cited
Quantitative Implementation Strategies for Safety Controllers
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger +2
We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several con…
cs.LO2017★ 9 cited
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, Stefan Jaax +1
Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all…