|
07-22-2020
|
Engineering Reliable Interactions in the
Reality-Artificiality Continuum
by
Davide Ancona
et al
|
|
|
|
|
07-22-2020
|
Adaptable and Verifiable BDI Reasoning
by
Peter Stringer
et al
|
|
|
|
|
07-22-2020
|
Exploratory Experiments on Programming Autonomous
Robots in Jadescript
by
Eleonora Iotti
et al
|
|
|
|
|
07-23-2020
|
Two-way Greedy: Algorithms for Imperfect Rationality
by
Diodato Ferraioli
et al
|
|
|
|
|
07-23-2020
|
Off-Policy Multi-Agent Decomposed Policy Gradients
by
Yihan Wang
et al
|
|
|
|
|
07-24-2020
|
Model Checkers Are Cool: How to Model Check Voting
Protocols in Uppaal
by
Wojciech Jamroga
et al
|
|
|
|
|
07-23-2020
|
Value-Decomposition Multi-Agent Actor-Critics
by
Jianyu Su
et al
|
|
|
|
|
07-23-2020
|
Decentralized Safe Reactive Planning under TWTL
Specifications
by
Ryan Peterson
et al
|
|
|
|
|
07-22-2020
|
Proceedings of the First Workshop on Agents and Robots
for reliable Engineered Autonomy
by
Rafael C. Cardoso
et al
|
|
|
|
|
07-24-2020
|
Natural Strategic Abilities in Voting Protocols
by
Wojciech Jamroga
et al
|
|
|
|
|
07-21-2020
|
Output Based Adaptive Distributed Output Observer for
Leader-follower Multiagent Systems
by
He Cai
et al
|
|
|
|
