VIDEO DOI: https://doi.org/10.48448/m3tt-ve57

technical paper

AIxIA 2021

December 01, 2021

Italy

Reasoning about Smart Contracts encoded in LTL

Please log in to leave a comment

Downloads

PaperTranscript English (automatic)

Next from AIxIA 2021

A Sound (but Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning
technical paper

A Sound (but Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning

AIxIA 2021

Francesco Percassi
Francesco Percassi and 2 other authors

01 December 2021

Similar lecture

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