Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Artificial Intelligence in Games
(2)
Computability, Logic, AI Algorithms
(2)
Formal Methods in Verification
(1)
Quantum Computing Algorithms and Architecture
(1)
Coding theory and cryptography
(1)
Affiliations
AT&T (United States)