Works of Nancy Lynch: Recent submissions

Now showing items 49-51 of 100

    • Task-Structured Probabilistic I/O Automata 

      Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; e.a. (2009.)
      Modeling frameworks such as Probabilistic I/O Automata (PIOA) and Markov Decision Processes permit both probabilistic and nondeterministic choices. In order to use these frameworks to express claims about probabilities of ...

    • Asynchronous Failure Detectors 

      Cornejo, Alejandro; Lynch, Nancy; Sastry, Srikanth (2013-01-30)
      Failure detectors -- oracles that provide information about process crashes -- are an important abstraction for crash tolerance in distributed systems. The generality of failure-detector theory, while providing great ...

    • Environment Characterization for Non-Recontaminating Frontier-Based Robotic Exploration 

      Volkov, Mikhail; Cornejo Collado, Alex; Lynch, Nancy Ann; Rus, Daniela L. (Springer Berlin / Heidelberg, 2011-11)
      This paper addresses the problem of obtaining a concise description of a physical environment for robotic exploration. We aim to determine the number of robots required to clear an environment using non-recontaminating ...