Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	David J.
Last name:	Musliner
DBLP:	m/DavidJMusliner
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 20  

Select a publication
Show	Title	Venue	Rating	Date
	George Alexander, Anita Raja, David J. Musliner. Controlling deliberation in a Markov decision process-based agent.	7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1 2008	(0)	2008
	David J. Musliner, Michael J. S. Pelican, Robert P. Goldman. Incremental Verification for On-the-Fly Controller Synthesis.	Electr. Notes Theor. Comput. Sci. 2006, Volume 149	(0)	2006
	David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach. Deliberation scheduling strategies for adaptive mission planning in real-time environments.	2005 AAAI Spring Symposium on Metacognition in Computation, March 21-23 2005, Stanford, California, USA 2005	(0)	2005
	Robert P. Goldman, Michael J. S. Pelican, David J. Musliner. Guiding Planner Backjumping Using Verifier Traces.	Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada 2004	(0)	2004
	Håkan L. S. Younes, David J. Musliner, Reid G. Simmons. A Framework for Planning in Continuous-time Stochastic Domains.	Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy 2003	(0)	2003
	David J. Musliner. CIRCADIA Demonstration: Active Adaptive Defense.	3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA 2003	(0)	2003
	Vu A. Ha, David J. Musliner. Balancing Safety Against Performance: Tradeoffs in Internet Security.	HICSS 2003	(0)	2003
	Robert P. Goldman, David J. Musliner, Michael J. S. Pelican. Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.	Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings 2002	(0)	2002
	Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach. Managing Online Self-adaptation in Real-Time Environments.	Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers 2003	(0)	2001
	Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal. Applications of Model Checking at Honeywell Laboratories.	Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings 2001	(0)	2001

Your query returned 20 matches in the database.