C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dyuman Aditya
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Open World
Robocup Soccer
Formal Specification Language
Temporal Logic
Top Venues
CoRR
AAAI Spring Symposium: MAKE
</>
Publications
</>
Dyuman Aditya
,
Kaustuv Mukherji
,
Srikar Balasubramanian
,
Abhiraj Chaudhary
,
Paulo Shakarian
PyReason: Software for Open World Temporal Logic.
AAAI Spring Symposium: MAKE
(2023)
Kaustuv Mukherji
,
Devendra Parkar
,
Lahari Pokala
,
Dyuman Aditya
,
Paulo Shakarian
,
Clark Dorman
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning.
CoRR
(2023)
Dyuman Aditya
,
Kaustuv Mukherji
,
Srikar Balasubramanian
,
Abhiraj Chaudhary
,
Paulo Shakarian
PyReason: Software for Open World Temporal Logic.
CoRR
(2023)