Synchronizing Objectives for Markov Decision Processes

Synchronous Games, Simulations and lambda-calculus

Synchrony vs Causality in the Asynchronous Pi-Calculus

Syntactic Abstraction of B Models to Generate Tests

Syntax diagrams as a formalism for representation of syntactic relations of formal languages

Synthesis from Recursive-Components Libraries

Synthesis of AMBA AHB from Formal Specification

Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications

Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

System Description: H-PILoT (Version 1.9)