Guided synthesis of control programs using uppaal

Guided synthesis of control programs using uppaal

Article

Hune, Thomas ; Larsen, Kim G. ; Pettersson, Paul

Published in: Nordic journal of computing 8 (2001) : 1, s. 43-64

Saved in:

Language

English

Classification

acmccs D.1.2
acmccs D.2.2
acmccs D.2.4
acmccs F.3.1
acmccs I.6.4
acmccs J.6

Subjects/keywords

real-time verification

guided model-checking

scheduling

program synthesis

distributed systems