We stand with Ukraine  

Yuxiao Hu

Affiliations:
  • Google Waterloo, Canada
  • University of Toronto, Department of Computer Science, Canada (PhD 2012)


According to our database1, Yuxiao Hu authored at least 6 papers between 2007 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
A Generic Technique for Synthesizing Bounded Finite-State Controllers.
[BibTeX]
[DOI]
Yuxiao Hu
,
Giuseppe De Giacomo
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
Generation and Verification of Plans with Loops.
[BibTeX]
[DOI]
Yuxiao Hu
PhD thesis, 2012

Goal-Based Composition of Stateful Services for Smart Homes.
[BibTeX]
[DOI]
Giuseppe De Giacomo
,
Claudio Di Ciccio
,
Paolo Felli
,
Yuxiao Hu
,
Massimo Mecella
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

2011
Generalized Planning: Synthesizing Plans that Work for Multiple Environments.
[BibTeX]
[DOI]
Yuxiao Hu
,
Giuseppe De Giacomo
Proceedings of the IJCAI 2011, 2011

2010
A Correctness Result for Reasoning about One-Dimensional Planning Problems.
[BibTeX]
[DOI]
Yuxiao Hu
,
Hector J. Levesque
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2007
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
[BibTeX]
[DOI]
Jens Claßen
,
Yuxiao Hu
,
Gerhard Lakemeyer
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007


  Loading...