VIDEO DOI: https://doi.org/10.48448/nn41-b493
PAPER DOI: Degrees of Trust, Temporal Logic, Model Checking

technical paper

AAMAS 2020

May 09, 2020

Live on Underline

Computationally Grounded Quantitative Trust with Time

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

Optimization of Large-scale Agent-based Simulations through Automated Abstraction and Simplification
technical paper

Optimization of Large-scale Agent-based Simulations through Automated Abstraction and Simplification

AAMAS 2020

Alexey Tregubov
Alexey Tregubov and 1 other author

09 May 2020

Similar lecture

HRDoc: Dataset and Baseline Method Toward Hierarchical Reconstruction of Document Structures
poster

HRDoc: Dataset and Baseline Method Toward Hierarchical Reconstruction of Document Structures

AAAI 2023

+4Jiefeng Ma
Jiefeng Ma and 6 other authors

11 February 2023

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved