A. C. van Hulst

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Classical Logic

Logical Framework

Sequent Calculus

Description Logic Alc

Top Venues

Discret. Event Dyn. Syst.

Publications

A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. 27 (1) (2017)
A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic. ACSD (2013)