9798266559813 - formal methods for multi-agent communication: protocols, types and verified systems de kambhampati, karthik (5 resultados)
- Tapa blanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 13,79
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 13,39
Envío por EUR 3,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
- Impresión bajo demanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 13,39
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. Modern AI agents can coordinate brilliantly-or fail spectacularly-depending on how they communicate. This book shows you how to turn vague, error-prone messaging into precise, verifiable conversations that scale from prototypes to production.Drawing on formal methods, distributed systems, an…d practical MLOps, you'll learn to specify what agents may say, when they should speak, and how to guarantee safety, privacy, and performance. Each chapter blends clear intuition with actionable patterns, lightweight DSLs, and deployment checklists-plus case studies from robotics, enterprise tooling, IoT/edge, and human-in-the-loop operations.What you'll learnDesign typed messages and ontologies that make meaning unambiguous and evolution-safe.Capture conversations with protocol FSMs and (multi)party session types to prevent out-of-order or missing steps at compile time.Specify and verify ordering, liveness, timing, and knowledge properties using LTL/CTL, model checking, and runtime monitors.Apply Value-of-Information (VoI) policies to speak only when it helps-cutting bandwidth while improving outcomes.Build typed plan messages and safety checkers that turn messages into executable, auditable intent.Ship production systems with schema governance, idempotency, sagas, observability, and fault-tolerance.Protect users and orgs with information-flow control, typed credentials, attestation, differential privacy, and robust aggregation.Govern multi-agent ecosystems via contracts/SLAs, auctions/markets, reputation, and capability delegation.What's insideClear primers on automata, temporal/epistemic logic, process calculi, session/MPST types, and compositional design.A practical contract DSL (obligations, permissions, prohibitions, deadlines, remedies) with runtime enforcement.VoI-gated communication and causal metrics (ACE) to prioritize messages that actually change decisions.End-to-end systems playbooks: middleware choices, schema evolution, supervisors/orchestration, traces & causal graphs.Case studies: warehouse swarms, enterprise agents for tickets/docs/payments, energy-aware IoT swarms, reproducible scientific workflows, and human-agent teams.Who should read thisSoftware/ML engineers, distributed-systems practitioners, and architects building agent platforms.Researchers and graduate students seeking applied, safety-aware methods that move from proofs to production.Product and reliability leaders who need auditable, governable AI systems.About the authorDr. Karthik Kambhampati designs AI-driven cloud and multi-agent systems with a focus on safety, efficiency, and verifiability. He writes and mentors on bringing research-grade rigor to production systems.Build agents that communicate less but accomplish more-with conversations that are typed, verified, and safe by construction. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Tapa blanda
- Impresión bajo demanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 13,40
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 16,85
Envío por EUR 43,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. Modern AI agents can coordinate brilliantly-or fail spectacularly-depending on how they communicate. This book shows you how to turn vague, error-prone messaging into precise, verifiable conversations that scale from prototypes to production.Drawing on formal methods, distributed systems, an…d practical MLOps, you'll learn to specify what agents may say, when they should speak, and how to guarantee safety, privacy, and performance. Each chapter blends clear intuition with actionable patterns, lightweight DSLs, and deployment checklists-plus case studies from robotics, enterprise tooling, IoT/edge, and human-in-the-loop operations.What you'll learnDesign typed messages and ontologies that make meaning unambiguous and evolution-safe.Capture conversations with protocol FSMs and (multi)party session types to prevent out-of-order or missing steps at compile time.Specify and verify ordering, liveness, timing, and knowledge properties using LTL/CTL, model checking, and runtime monitors.Apply Value-of-Information (VoI) policies to speak only when it helps-cutting bandwidth while improving outcomes.Build typed plan messages and safety checkers that turn messages into executable, auditable intent.Ship production systems with schema governance, idempotency, sagas, observability, and fault-tolerance.Protect users and orgs with information-flow control, typed credentials, attestation, differential privacy, and robust aggregation.Govern multi-agent ecosystems via contracts/SLAs, auctions/markets, reputation, and capability delegation.What's insideClear primers on automata, temporal/epistemic logic, process calculi, session/MPST types, and compositional design.A practical contract DSL (obligations, permissions, prohibitions, deadlines, remedies) with runtime enforcement.VoI-gated communication and causal metrics (ACE) to prioritize messages that actually change decisions.End-to-end systems playbooks: middleware choices, schema evolution, supervisors/orchestration, traces & causal graphs.Case studies: warehouse swarms, enterprise agents for tickets/docs/payments, energy-aware IoT swarms, reproducible scientific workflows, and human-agent teams.Who should read thisSoftware/ML engineers, distributed-systems practitioners, and architects building agent platforms.Researchers and graduate students seeking applied, safety-aware methods that move from proofs to production.Product and reliability leaders who need auditable, governable AI systems.About the authorDr. Karthik Kambhampati designs AI-driven cloud and multi-agent systems with a focus on safety, efficiency, and verifiability. He writes and mentors on bringing research-grade rigor to production systems.Build agents that communicate less but accomplish more-with conversations that are typed, verified, and safe by construction. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
