BibSonomy :: user  :: schaal ::

bookmarks

publications

(2)   

• A Value-driven Approach to Scheduling Information Gathering
  J. Grass and S. Zilberstein Technical Report, UM-CS-1998-009. University of Massachusetts, Amherst, Computer Science, March,1998.
  to scheduling planning decision theoretic by schaal on Jul 6, 2007, 10:33 AM
  URL | BibTeX 
• A theory of timed automata
  Rajeev Alur and David L. Dill Theoretical Computer Science126(2):183--235April1994.
  to muller subclasses algorithm problem formal closure timing boolean problems operations clocks universality timed conditions intersection pspace finitely theory sequences automata language constraints graphs finite inclusion languages many union decision acceptance real-time functions systems state-transition real-valued infinite properties buchi by schaal and 1 other person on Jul 6, 2007, 10:33 AM
  BibTeX