ARCH-COMP22 Category Report: Stochastic Models

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models,...

ARCH-COMP21 Category Report: Stochastic Models

This report presents the results of a friendly competition for formal verification and<br/>policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied...

Arch-comp19 category report: Stochastic modelling

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied...

Compact collimators for high brightness blue LEDs using dielectric multilayers

A novel method is presented to inject the light of millimeter-sized high-brightness blue LEDs into light guides of submillimeter thickness. Use is made of an interference filter that is designed to pass only those modes that will propagate in the light guide by total internal reflection. Other modes are reflected back to the LED cavity and...

Injecting light of high-power LEDs into thin light guides

A new method using a thin-film multilayer filter is described to couple light from high-power LEDs into a thin light guide such as an LCD backlight. Light emitted below the critical angle is reflected back to the LED and recycled. Largeangle emitted light passes the filter and is transported by total internal reflection in the light guide. The...