conftrace_

bounded ctl

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

parameterised model (1) neural interpreted system (1) abstraction methodology (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