Ditemukan 1 dokumen yang sesuai dengan query
Irene Ully Havsa, author
The aim of this paper is to demonstrate the utilisation of a Behavior Tree trace visualiser called BTTrace and generalised LTL formulae patterns to help system analysts analyse counterexamples and generate valuable ones. Counterexample generated by SAL model checker from a Behavior Tree model and an LTL formulae is translated...
Fakultas Ilmu Komputer Universitas Indonesia, 2013
PDF
Artikel Jurnal Universitas Indonesia Library
