Source assessmentSupporting
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems
Multi-robot social law verificationAcademic
Assessment outcome
total 3/6 (actionability 0 + authority 2 + currency 1)
Total3/6
Actionability0/2
Authority2/2
Currency1/2
Authorship & scope
Attribution (G4 evidence)
No evidence recorded for this source.
Issuer authority (evidence)
No evidence recorded for this source.
Issuers, who it governs, legal force and content are on the full record.
Eligibility gates
G1 · Retrievablepass
Passed in screening.
G2 · AI nexuspass
Passed in screening.
G3 · Governance nexuspass
Passed in screening.
G4 · Attributablepass
Passed in screening.
G5 · In forcepass
Passed in screening.
Scored criteria
Actionability
0/2No rationale recorded.
Authority
2/2No rationale recorded.
The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) Automated Verification of Social Laws for Continuous Time Multi-Robot Systems Ronen Nir, Erez Karpas Technion — Israel Institute of Technology Haifa, Israel
Currency
1/2No rationale recorded.
Classification
Coverage topicMulti-robot social law verification
PerspectiveAcademic
Lifecycle stage1 Plan & design
Layermodel
GranularityNot recorded