Uppaal Tiga User-manual

Gerd Behrmann,Agnes Cougnard,Alexandre David,Emmanuel Fleury,Kim G. Larsen,Didier Lime

msra

引用 24|浏览51

暂无评分

摘要

Uppaal Tiga is a tool to perform automatic synthesis of controllers for timed systems. This document is the user-manual of Up- paal Tiga but should be read jointly with the Uppaal tutorial (BDL04).

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要