Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
Enabling Multi-Agent Systems as Learning Designers: Applying Learning Sciences to AI Instructional Design
arxiv.org·17h
Loading...Loading more...