MCMAS-C Model Checker
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 5.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 MCMAS-C Model Checker
MCMAS-C adalah ekstensi untuk MCMAS pemeriksa model paling terkenal, yang diimplementasikan untuk memverifikasi sistem multi-agen. Perpanjangan kami terkait dengan memeriksa komitmen sosial yang dapat dibuat agen dan pemenuhannya. Ini adalah pemeriksa model untuk logika CTLC.