Amit K. Chopra
5 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
Top co-authors
Research topics
Keywords
multi-agent system
(4)
information protocol
(2)
interaction protocol
(2)
asynchronous communication
(1)
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)
Papers
Orpheus: Engineering Multiagent Systems via Communicating Agents
AAAI 2025
Requirement Patterns for Engineering Multiagent Interaction Protocols
IJCAI 2025
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict
IJCAI 2024
Tosca: Operationalizing Commitments Over Information Protocols
IJCAI 2017
Composing and Verifying Commitment-Based Multiagent Protocols
IJCAI 2015