Mikučionis, Marius
- Analysis and Verification of Quantum Communication Protocols in UPPAAL Artifact
2025/02/05 by Walsted, Loke, Sanderson, Conrad, Mikučionis, Marius +5 · 6 citations
Computer Science · #Matrix Theory and Algorithms
- Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
2025/08/22 by Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Jensen, Peter Gjøl +4 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)