1 / 5

Efficient Booking Strategy for a Nile Cruise and Return Flight to Egypt

This guide outlines a strategy for booking a return flight to Egypt and a Nile cruise with minimal waiting time. Using two travel agents—Agent A, who can quickly book flights or cruises one at a time, and Agent B, who specializes only in cruises but moves slowly—we propose a parallel booking approach. Let Agent A handle the flight while Agent B organizes the cruise. If Agent A completes the flight booking quickly, they can also manage the cruise reservation, ensuring a seamless travel experience.

nicholas-schneider
Télécharger la présentation

Efficient Booking Strategy for a Nile Cruise and Return Flight to Egypt

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Motivating example • You want to do a cruise on the Nile • Your electronic secretary has to book • A return flight to Egypt • And a cruise such that the cruise happens between the back and forth legs of your flight While minimizing waiting time in between.

  2. Example (continued) Your electronic secretary deals with two travel agents: • Agent A, who is quick, and can do flights and cruises, but only one at a time • And Agent B, who is slow and only does cruises. Solution: • Let agent A book the flight while agent B books the cruise. • In case A finishes before B even starts, let A book the cruise as well.

  3. Booking a flight and a cruise in parallel Original specification Alternative specification

  4. Conclusion • Commonly used criteria for equivalence of specifications are inadequate when the specifications are used in certain contexts • For compositional verification we use carefully crafted notions of equivalence and implementation.

  5. General research goals • Pinpoint subtle features of concurrent systems that are inadequately modeled by contemporary techniques, leading to untrustworthy specifications. • Provide reliable specification techniques through mathematical rigor. • Ultimately leading to trustworthy software.

More Related