10 citations · 32 across the 26 of their papers we have counts for
Showing 2016 · cs.FLShow all
2 papers · 2 filters
cs.FL2016
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…
cs.FL2016
Learning Moore Machines from Input-Output Traces
Georgios Giantamidis, Stavros Tripakis
The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this…