Robert Seater

16 papers A* 1A 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Asynchronous Training of Mixed-Role Human Actors in a Partially Observable Environment.
ACM Trans. Hum. Robot Interact.
Kimberlee Chestnut Chang, Reed Jensen, Rohan R. Paleja, Sam L. Polk, Robert Seater, Jackson Steilberg, Curran Schiefelbein, Melissa Scheldrup, Matthew Gombolay, Mabel D. Ramirez
2024 J jnl
Asynchronous Training of Mixed-Role Human Actors in a Partially-Observable Environment.
CoRR
Kimberlee Chestnut Chang, Reed Jensen, Rohan R. Paleja, Sam L. Polk, Robert Seater, Jackson Steilberg, Curran Schiefelbein, Melissa Scheldrup, Matthew C. Gombolay, Mabel D. Ramirez
2018 — conf
Rapid-Play Games for Evaluating Future Technology.
GALA
Robert Seater, Joel Kurucar, Andrew Uhmeyer
2018 — conf
Simulation Approach to Sensor Placement Using Unity 3D.
HPEC
Kimberlee Chestnut Chang, Nicole Lane, Andrew Uhmeyer, Michael Jones, Matthew Hubbell, Albert Reuther, Robert Seater
2015 — conf
Analysis of decision making skills for large scale disaster response.
GHTC
Charles Rose, Robert Seater, Adam Norige
2009 — —
Building dependability arguments for software intensive systems.
Robert Seater
2007 J jnl
Automatic Visualization of Relational Logic Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
2007 J jnl
Requirement progression in problem frames: deriving specifications from requirements.
Requir. Eng.
Robert Seater, Daniel Jackson, Rohit Gheyi
2006 — conf
Lightweight extraction of syntactic specifications.
SIGSOFT FSE
Mana Taghdiri, Robert Seater, Daniel Jackson
2006 — conf
Problem frame transformations: deriving specifications from requirements.
IWAAPF@ICSE
Robert Seater, Daniel Jackson
2006 A conf
Requirement Progression in Problem Frames Applied to a Proton Therapy System.
RE
Robert Seater, Daniel Jackson
2005 — conf
An analysis and visualization for revealing object sharing.
eTX
Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson
2004 A conf
Automating commutativity analysis at the design level.
ISSTA
Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
2003 A* conf
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
ASE
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
2002 — conf
Efficient Manipulation of Disequalities During Dependence Analysis.
LCPC
Robert Seater, David Wonnacott
2001 — conf
Polynomial Time Array Dataflow Analysis.
LCPC
Robert Seater, David Wonnacott