研究内容

現在の研究

MTSA(Modal Transition System Analyser)というツールを用いて，FSPとFLTLからコントローラ合成を行う勉強をしています．

DCS(Directed Controller Synthesis)という，MTSAを拡張したツールでのコントローラー合成についても勉強しています．