Pages that link to "Item:Q253980"

The following pages link to Parameterised verification for multi-agent systems (Q253980):

Displaying 10 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)
• 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)
• Liveness of Parameterized Timed Networks (Q3449490) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• (Q5111624) (← links)
• Counter abstraction for regular open teams (Q6663521) (← links)