PAC bounds for simulation-based optimization of Markov decision processesRahul JainPravin P. Varaiya2007CDC 2007
Undecidability Results for Deterministic Communicating Sequential ProcessesRandall A. CieslakPravin P. Varaiya1990IEEE TACON
Special Issue on: Large-Scale Systems and Decentralized ControlMichael AthansP. Bernhardet al.1978IEEE TACON