Combining test case generation and runtime verification von Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich

Volltext

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software von Brat, Guillaume, Drusinsky, Doron, Giannakopoulou, Dimitra, Goldberg, Allen, Havelund, Klaus, Lowry, Mike, Pasareanu, Corina, Venet, Arnaud, Visser, Willem, Washington, Rich

Volltext

Combining test case generation and runtime verification: Abstract state machines and high-level system design and analysis von ARTHO, Cyrille, BARRINGER, Howard, WASHINGTON, Rich, GOLDBERG, Allen, HAVELUND, Klaus, KHURSHID, Sarfraz, LOWRY, Mike, PASAREANU, Corina, ROSU, Grigore, KOUSHIK SEN, VISSER, Willem

Volltext

Hybrid discrete-continuous markov decision processes von Feng, Zhengzhu, Dearden, Richard, Meuleau, Nicholas, Washington, Rich

Volltext

Experimental evaluation of verification and validation tools on martian rover software von Brat, Guillaume, Giannakopoulou, Dimitra, Goldberg, Allen, Havelund, Klaus, Lowry, Mike, Pasareani, Corina, Venet, Arnaud, Visser, Willem, Washington, Rich, Pasareanu, Corina

Volltext

Recursive Sparse, Spatiotemporal Coding von Dean, T., Washington, R., Corrado, G.

Volltext bestellen

Scaling Up Decision Theoretic Planning to Planetary Rover Problems von Meuleau, Nicolas, Dearden, Richard, Washington, Rich

Volltext bestellen

Hybrid Discrete-Continuous Markov Decision Processes von Feng, Zhengzhu, Dearden, Richard, Meuleau, Nicholas, Washington, Rich

Volltext bestellen

A Method of Partly Automated Testing of Software von Lowry, Mike, Visser, Willem, Washington, Rich, Artho, Cyrille, Goldberg, Allen, Haveland, Klaus, Pasareanu, Corina, Khurshid, Sarfraz, Roflu, Grigore

Volltext bestellen

Combining Test Case Generation with Run-time Verification von Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich

Volltext bestellen

Incremental Contingency Planning von Dearden, Richard, Meuleau, Nicolas, Ramakrishnan, Sailesh, Smith, David E., Washington, Rich

Volltext bestellen

Instrument Deployment for Mars Rovers von Pedersen, Liam, Bualat, Maria, Kunz, C., Lee, Susan, Sargent, Randy, Washington, Rich, Wright, Anne, Clancy, Daniel

Volltext bestellen

Contingency Planning for Planetary Rovers von Dearden, Richard, Meuleau, Nicolas, Ramakrishnan, Sailesh, Smith, David, Washington, Rich, Clancy, Daniel

Volltext bestellen

Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI von Bresina, John, Dearden, Richard, Meuleau, Nicolas, Smith, David, Washington, Rich, Clancy, Daniel

Volltext bestellen

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software von Brat, Guillaume, Giannakopoulou, Dimitra, Goldberg, Allen, Havelund, Klaus, Lowry, Mike, Pasareani, Corina, Venet, Arnaud, Visser, Willem, Washington, Rich

Volltext bestellen

Is the Energy Crisis Suddenly Over?: Maybe not, but falling prices could save the second half von Laura Cohn in Washington, with Rich Miller in Washington, Michael Arndt in Chicago, David Welch in Detroit, and Aixa M. Pascual in Atlanta

Volltext

Asynchronous nitrogen supply and demand produce nonlinear plant allocation responses to warming and elevated CO2 von Noyce, Genevieve L, Kirwan, Matthew L, Rich, Roy L, Megonigal, J Patrick

Volltext

Wanted: Fed Chief With Foreign Flair von Rich Miller in Washington

Volltext

LEARNING TO LOVE LOW INTEREST RATES von Rich Miller in Washington

Volltext

BETTING BIG ON LOW YIELDS von Rich Miller in Washington

Volltext