Edward B. Gamble

Publication Activity (10 Years)

Years Active: 1989-2014
Publications (10 Years): 0

Top Topics

Database Languages

Linear Temporal Logic

Pspace Complete

Top Venues

Infotech@Aerospace

Publications

Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some
Spot: a programming language for verified flight software. HILT (2014)
Mihai Florian, Edward B. Gamble, Gerard J. Holzmann
Logic Model Checking of Time-Periodic Real-Time Systems. Infotech@Aerospace (2012)
Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung
Remote Agent: An Autonomous Control System for the New Millennium. ECAI (2000)
Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, Christian Plaunt, Brian C. Williams
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. Auton. Agents Multi Agent Syst. 2 (1) (1999)
Edward B. Gamble, Reid G. Simmons
The Impact of Autonomy Technology on Spacecraft Software Architecture: A Case Study. IEEE Intell. Syst. 13 (5) (1998)
Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, P. Pandurang Nayak, Christian Plaunt, Brian C. Williams
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. Agents (1998)
Edward B. Gamble, Davi Geiger, Tomaso A. Poggio, Daphna Weinshall
Integration of vision modules and labeling of surface discontinuities. IEEE Trans. Syst. Man Cybern. 19 (6) (1989)