MOCHA
From MaRDI portal
Software:24858
No author found.
Related Items (82)
Synthesizing Protocols for Digital Contract Signing ⋮ Compositional Verification of Quantitative Properties of Statecharts ⋮ Verification of SpecC using predicate abstraction ⋮ Unnamed Item ⋮ State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Compositional Reasoning ⋮ Unnamed Item ⋮ Imperfect information in reactive modules games ⋮ Unnamed Item ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic ⋮ Unnamed Item ⋮ Verifying Systems of Resource-Bounded Agents ⋮ Symbolic Model Checking for Alternating Projection Temporal Logic ⋮ Model Checking Software ⋮ Synthesis and Verification of Uniform Strategies for Multi-agent Systems ⋮ Formal analysis of multiparty contract signing ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Unnamed Item ⋮ Compositional Verification for Timed Systems Based on Automatic Invariant Generation ⋮ Automated Technology for Verification and Analysis ⋮ Unnamed Item ⋮ PRISM-games: A Model Checker for Stochastic Multi-Player Games ⋮ Formal Approaches to Software Testing ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Model-checking iterated games ⋮ Unnamed Item ⋮ Social laws in alternating time: effectiveness, feasibility, and synthesis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Automatic verification of concurrent systems using a formula-based compositional approach ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Selective Approaches for Solving Weak Games ⋮ Proving ATL* Properties of Infinite-State Systems ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ A first-order coalition logic for BDI-agents ⋮ Multi-player games with LDL goals over finite traces ⋮ Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning ⋮ Automatic symbolic compositional verification by learning assumptions ⋮ On the logic of cooperation and propositional control ⋮ Deductive verification of alternating systems ⋮ Unnamed Item ⋮ Logical formalism for specification of real-time multiagent systems ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Unnamed Item ⋮ Automatic verification of competitive stochastic systems ⋮ Unnamed Item ⋮ Model checking abilities of agents: a closer look ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modular refinement of hierarchic reactive machines ⋮ Types as models ⋮ Action and knowledge in alternating-time temporal logic ⋮ A Tool for the Automated Verification of Nash Equilibria in Concurrent Games ⋮ Refining Interface Alphabets for Compositional Verification ⋮ Verifying Time and Communication Costs of Rule-Based Reasoners ⋮ Approximate verification of strategic abilities under imperfect information ⋮ Assume-guarantee synthesis for digital contract signing ⋮ Algorithms for finding coalitions exploiting a new reciprocity condition ⋮ A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic ⋮ A logical characterisation of qualitative coalitional games ⋮ A methodology for hardware verification using compositional model checking ⋮ Theoretical Computer Science ⋮ Verifying time, memory and communication bounds in systems of reasoning agents ⋮ Expressing Properties of Coalitional Ability under Resource Bounds ⋮ Verification of Games in the Game Description Language ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Algebraic Methodology and Software Technology ⋮ Formal Methods for Components and Objects ⋮ On obligations and normative ability: Towards a logical analysis of the social contract ⋮ Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach ⋮ Parameterised verification for multi-agent systems
This page was built for software: MOCHA
