conftrace_

resource bounded computation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

resource-bounded reasoning (1) parameter extraction (1) alternating-time temporal logic (1) model checking (1) temporal logic (1) parameterized algorithm (1) formal methods (1)

Papers

Parameterised Resource-Bounded ATL AAAI 2020