A Roadmap Towards Practical Applications of Neurosymbolic Learning and Reasoning
ThiviyanThanapalasingam, AnnettetenTeije, Frank van Harmelen et al.
· 0 citations
Sponsored
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Jul 2026
Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO
Two encodings of the problem of planning multi-agent paths that satisfy constraints written in STL-GO are presented, one based on mixed-integer programming (MIP) and another based on satisfiability modulo theory (SMT), with soundness guarantees.
Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan et al.
· arXiv.org · 0 citations