Laura Bozzelli

複雑なソフトウェアシステムの検証におけるハイパープロパティの役割を探る。

この論文は、分岐時間論理とオートマトン理論の関係を調べてるんだ。