Old Web
English
Sign In
Acemap
>
authorDetail
>
Robert M. Keller
Robert M. Keller
California Institute of Technology
Electronic engineering
Computer science
Specification
Theoretical computer science
Modeling language
3
Papers
4
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Improved modeling and validation of command sequences using a checkable sequence language
2012
AeroConf | IEEE Aerospace Conference
Christopher A. Stone
Andrew Carter
Heather L. Justice
Robert M. Keller
Yu-Wen Tung
Show All
Source
Cite
Save
Citations (3)
MSL mission planning and execution
2004
Tony Barrett
Steve Chien
Dan Dvorak
Erann Gat
K. Gostelow
Robert M. Keller
Russell Knight
Richard Morris
Robert Rasmussen
Thomas W. Starbird
Show All
Source
Cite
Save
Citations (0)
Enabling onboard spacecraft autonomy though goal-based architectures: an integration of model-based artificial intelligence planning with procedural elaboration
2001
AeroConf | IEEE Aerospace Conference
Russell Knight
Steve Chien
Robert M. Keller
Show All
Source
Cite
Save
Citations (1)
1