The following pages link to VerICS (Q14558):
Displaying 32 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Automatic Data-Abstraction in Model Checking Multi-Agent Systems (Q3003426) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets (Q3066134) (← links)
- Parametric Model Checking with VerICS (Q3066135) (← links)
- Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems (Q3081902) (← links)
- Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- A Complete and Decidable Axiomatisation for Deontic Interpreted Systems (Q3529366) (← links)
- A Data Symmetry Reduction Technique for Temporal-epistemic Logic (Q3648692) (← links)
- (Q5015397) (← links)
- Automatic verification of temporal-epistemic properties of cryptographic protocols (Q5188176) (← links)
- (Q5192937) (← links)
- (Q5192941) (← links)
- (Q5422291) (← links)
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation (Q5423885) (← links)
- (Q5486059) (← links)
- (Q5486061) (← links)
- Automated Technology for Verification and Analysis (Q5491861) (← links)
- (Q5506370) (← links)
- (Q5506377) (← links)
- (Q5506383) (← links)
- (Q5506384) (← links)
