![](/statics/img/blank.png)
MCTK: a symbolic model checker for MAS
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 4.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang MCTK: a symbolic model checker for MAS
MCTK (Model Checking Time and Knowledge) adalah pemeriksa model simbolis untuk sistem multi-agen, yang mendukung verifikasi logika pengetahuan temporal. Ini dikembangkan berdasarkan NuSMV 2.1.2 oleh Xiangyu Luo.