Pages that link to "Item:Q253980"
From MaRDI portal
The following pages link to Parameterised verification for multi-agent systems (Q253980):
Displaying 19 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Verification of multi-agent systems with timeouts for migration and communication (Q2279119) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- Specification and Verification of Multi-agent Systems (Q3576330) (← links)
- (Q4413373) (← links)
- Two-stage agent program verification (Q4612415) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- (Q5111624) (← links)
- Deontic Logic in Computer Science (Q5901590) (← links)
- Counter abstraction for regular open teams (Q6663521) (← links)
