Amit K. Chopra
5 papers
· 2015–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π
Cross-Pollinator
(3)
π
Interdisciplinary Bridge
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
Keywords
multi-agent system
(3)
multiagent system
(2)
interaction protocol
(2)
information protocol
(2)
requirement pattern
(1)
formal semantics
(1)
communicating agent
(1)
decentralized system
(1)
commitment protocol
(1)
protocol synthesis
(1)
commitment alignment
(1)
declarative protocol
(1)
protocol specification
(1)
message-oriented protocol
(1)
decentralized enactment
(1)
cognitive programming
(1)
formal specification
(1)
declarative protocol language
(1)
coordination mechanism
(1)
protocol verification
(1)