Carlos Olarte
- 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)
- Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
2026/07/20 by Santiago Escobar, Raúl López-Rueda, Carlos Olarte · 1 voice
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Real-Time Systems Scheduling