Papers by:
(1)"Best Arm Identification in Multi-Armed Bandits" by Audibert and Bubeck, 2010.
(2)"Tight (Lower) Bounds for the Fixed Budget Best Arm IdentificationBandit Problem" Carpentier and Locatelli 2016.

A talk on Pseudo-determinism.

A proof of a statement convinces the person/entity addressed that the statement is true. Intuitively, a good proof is short, and easy to verify. A formal proof must convince an automated checking program (that may have limited resources).

Systems research encompasses a vast variety of domains, problems, and solution approaches. While in some cases the research problem is well-defined, in other cases defining the problem itself can be a major task.