vix.ing · top · new · best · stats · spec

Yangge Li

  1. Verse: A Python library for reasoning about multi-agent hybrid system scenarios
    2023/01/20 by Yangge Li, Haoqing Zhu, Li, Yangge +7 · 1 citation
    Computer Science · Decision Sciences · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Multiagent Systems (cs.MA) #Simulation Techniques and Applications #Software Engineering (cs.SE)