Daniel Assa

研究は、モデル検証のためにCTL+Syncとワンカウンタオートマタを使うことに焦点を当てている。