

BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computational Optimisation Group - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Computational Optimisation Group
X-ORIGINAL-URL:http://optimisation.doc.ic.ac.uk
X-WR-CALDESC:Events for Computational Optimisation Group
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20120101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20130703T150000
DTEND;TZID=UTC:20130703T150000
DTSTAMP:20260505T031933
CREATED:20170124T102141Z
LAST-MODIFIED:20170124T102141Z
UID:577-1372863600-1372863600@optimisation.doc.ic.ac.uk
SUMMARY:Seminar: Interdiction Games on Markovian PERT Networks
DESCRIPTION:Title: Interdiction Games on Markovian PERT NetworksSpeaker: Eli GutinAffiliation: School of Industrial and Systems Engineering – Georgia Institute of TechnologyLocation: Room 218 Huxley BuildingTime: 3:00pm \nAbstract. In a stochastic interdiction game a proliferator aims to minimize the expected duration of a nuclear weapons development project\, while an interdictor endeavors to maximize the project duration by delaying some of the project tasks. We formulate static and dynamic versions of the interdictor’s decision problem where the interdiction plan is either pre-committed or adapts to new information revealed over time\, respectively. The static model gives rise to a stochastic program\, while the dynamic model is formalized as a multiple optimal stopping problem in continuous time and with decision-d ependent information. Under a Markov assumption\, we prove that the static model reduces to a mixed-integer linear program\, while the dynamic model reduces to a finite Markov decision process in discrete time that can be solved via efficient value iteration. We then generalize the dynamic model to account for uncertainty in the outcomes of the interdiction actions. We also discuss a crashing game where the proliferator can use limited resources to expedite tasks so as to counterbalance the interdictor’s efforts. The resulting problem can be formulated as a robust Markov decision process. \nAbout the speaker. Eli Gutin completed his MEng in Computing at Imperial College in 2012. His prize-winning final year project on “Interdiction Games on Markovian PERT networks” was supervised by Daniel Kuhn & Wolfram Wiesemann. A year later\, it was submitted for publication and is the subject of today’s talk.
URL:http://optimisation.doc.ic.ac.uk/event/seminar-interdiction-games-on-markovian-pert-networks/
END:VEVENT
END:VCALENDAR