The following pages link to MOCHA (Q24858):
Displaying 50 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535) (← links)
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
- Automatic symbolic compositional verification by learning assumptions (Q934713) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Automatic verification of concurrent systems using a formula-based compositional approach (Q1403320) (← links)
- A methodology for hardware verification using compositional model checking (Q1566919) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Model-checking iterated games (Q1674862) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Exploiting design structure in model checking. (Abstract) (Q2703739) (← links)
- (Q2722056) (← links)
- (Q2753756) (← links)
- (Q2754091) (← links)
- A modular approach to the specification and validation of an electrical flight control system (Q2764004) (← links)
- (Q2769574) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Symbolic computational techniques for solving games (Q2845509) (← links)
- CTL-property transformations along an incremental design process (Q2848426) (← links)
- Synthesizing Protocols for Digital Contract Signing (Q2891408) (← links)
- Synthesis and Verification of Uniform Strategies for Multi-agent Systems (Q2921967) (← links)
- A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic (Q3098057) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Verifying Systems of Resource-Bounded Agents (Q3188235) (← links)
- Compositional Verification for Timed Systems Based on Automatic Invariant Generation (Q3196346) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Symbolic Model Checking for Alternating Projection Temporal Logic (Q3467865) (← links)
- Selective Approaches for Solving Weak Games (Q3522910) (← links)
- Proving ATL* Properties of Infinite-State Systems (Q3525153) (← links)
