Cited in
(only showing first 100 items - show all)- Verification of SpecC using predicate abstraction
- Expressing properties of coalitional ability under resource bounds
- Imperfect information in reactive modules games
- A first-order coalition logic for BDI-agents
- scientific article; zbMATH DE number 2086508 (Why is no real title available?)
- scientific article; zbMATH DE number 2086522 (Why is no real title available?)
- PRISM-games: a model checker for stochastic multi-player games
- Towards integrated verification of timed transition models
- Logical formalism for specification of real-time multiagent systems
- Formal Methods for Components and Objects
- Compositional reasoning
- Theoretical Computer Science
- scientific article; zbMATH DE number 1864595 (Why is no real title available?)
- Symbolic computational techniques for solving games
- scientific article; zbMATH DE number 1617323 (Why is no real title available?)
- Modular refinement of hierarchic reactive machines
- scientific article; zbMATH DE number 2102707 (Why is no real title available?)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
- Parameterised verification for multi-agent systems
- Formal analysis of multiparty contract signing
- Selective Approaches for Solving Weak Games
- Automatic verification of concurrent systems using a formula-based compositional approach
- A formal treatment of agents, goals and operations using alternating-time temporal logic
- Exploiting design structure in model checking. (Abstract)
- scientific article; zbMATH DE number 1852148 (Why is no real title available?)
- Multi-player games with LDL goals over finite traces
- Verifying Time and Communication Costs of Rule-Based Reasoners
- scientific article; zbMATH DE number 2102714 (Why is no real title available?)
- Refining Interface Alphabets for Compositional Verification
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- scientific article; zbMATH DE number 1953037 (Why is no real title available?)
- Automatic symbolic compositional verification by learning assumptions
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Algebraic Methodology and Software Technology
- Conditions of contracts for separating responsibilities in heterogeneous systems
- On the logic of cooperation and propositional control
- Verifying time, memory and communication bounds in systems of reasoning agents
- scientific article; zbMATH DE number 2182600 (Why is no real title available?)
- CTL-property transformations along an incremental design process
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Model checking abilities of agents: a closer look
- scientific article; zbMATH DE number 2090156 (Why is no real title available?)
- scientific article; zbMATH DE number 2043474 (Why is no real title available?)
- Verification of games in the game description language
- scientific article; zbMATH DE number 2100580 (Why is no real title available?)
- Proving ATL* Properties of Infinite-State Systems
- Assume-guarantee synthesis for digital contract signing
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Alpaga
- GAVS
- QuBE++
- Cogent
- VerICS
- ASTRAL
- JACK
- CZT
- Quaffle
- Cadence SMV
- Lackwit
- Alcoa
- MCMAS
- MCK
- GIST
- CVT
- QUASY
- QUBE
- InVeSt
- PRALINE
- PRISM-games
- PGSolver
- ProBE
- EVE
- 3APL
- TuLiP
- jMocha
- MCMAS-SLK
- LEVER
- CTLSAT
- EAGLE
- Mr. Waffles
- Types as models: model checking message-passing programs
- Quantitative verification and strategy synthesis for stochastic games
- Synthesizing protocols for digital contract signing
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
- Compositional verification for timed systems based on automatic invariant generation
- MultiGain
- On obligations and normative ability: Towards a logical analysis of the social contract
- To know or not to know: Epistemic approaches to security protocol verification
- Synthesis and verification of uniform strategies for multi-agent systems
- Social laws in alternating time: effectiveness, feasibility, and synthesis
- OCRA
- Formal Approaches to Software Testing
- Model-checking iterated games
- scientific article; zbMATH DE number 1693452 (Why is no real title available?)
- Reasoning about equilibria in game-like concurrent systems
- From model checking to equilibrium checking: reactive modules for rational verification
- Strategic reasoning with a bounded number of resources: the quest for tractability
- A logical characterisation of qualitative coalitional games
- Automated Technology for Verification and Analysis
- Approximate verification of strategic abilities under imperfect information
This page was built for software: MOCHA
