# Temporal Stream Logic: Synthesis beyond the Bools

1 Dec 2017Bernd FinkbeinerFelix KleinRuzica PiskacMark Santolucito

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 fail for such systems because the state space resulting from the discretization of the data is too large... (read more)

PDF Abstract