conftrace_

abstraction methodology

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural interpreted system (1) parameterised model (1) bounded ctl (1) neural-symbolic computing (1) multi-agent system (1) model checking (1) formal verification (1)

Papers

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems IJCAI 2024