4 papers
Machine Learning Model Integration with Open World Temporal Logic for Process Automation
Dyuman Aditya, Colton Payne, Mario Leiva +1
Recent advances in Machine Learning (ML) have produced models that extract structured information from complex data. However, a significant challenge lies in translating these perc…
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya +5
We introduce Lattice Annotated Temporal (LAT) Logic, an extension of Generalized Annotated Logic Programs (GAPs) that incorporates temporal reasoning and supports open-world semant…
Robust Localization, Mapping, and Navigation for Quadruped Robots
Dyuman Aditya, Junning Huang, Nico Bohlinger +5
Quadruped robots are currently a widespread platform for robotics research, thanks to powerful Reinforcement Learning controllers and the availability of cheap and robust commercia…
Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar +4
The ability to generate artificial human movement patterns while meeting location and time constraints is an important problem in the security community, particularly as it enables…