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

Olarte, Carlos

  1. Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
    2023/05/08 by Jaime Arias, Arias, Jaime, Carlos Olarte +9 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA)