no code implementations • 12 Jul 2023 • Aadesh Neupane, Eric G Mercer, Michael A. Goodrich
Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive.
no code implementations • 29 Mar 2022 • Aadesh Neupane, Michael A. Goodrich
Evolving swarm behaviors with artificial agents is computationally expensive and challenging.
no code implementations • 9 Sep 2020 • Aadesh Neupane
In this paper, we trace back the ideas of homomorphic learning formally posed by Ronald L. Rivest and Len Alderman as "Can we compute upon encrypted data?"