MOCHA

swMATH12935MaRDI QIDQ24858FDOQ24858

Author name not available (Why is that?)

Cited In (82)

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

This page was built for software: MOCHA