Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
Temporal Stream Logic: Synthesis beyond the Bools
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually…
cs.LO2016
A High-Level LTL Synthesis Format: TLSF v1.0
Swen Jacobs, Felix Klein
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but…