Login / Signup

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation.

Jiawei ChenJosé Luiz Vargas de MendonçaShayan JaliliBereket AyeleBereket Ngussie BekeleZhemin QuPranjal SharmaTigist ShiferawYicheng ZhangJean-Baptiste Jeannin
Published in: FTSCS (2022)
Keyphrases
  • asynchronous communication
  • artificial intelligence
  • high level language
  • face verification
  • formal verification
  • robot programming
  • multi agent systems
  • relational databases
  • general purpose
  • functional programming