Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Preservation of controllability of single-input time-varying linear systems under sampling.. IEEE Trans. Automat. Contr., 50 (12): 2094-2096 (2005)Estimating the Probability of Meeting a Deadline in Hierarchical Plans., , and . IJCAI, page 1551-1557. AAAI Press, (2015)Automata Based Interfaces for Control and Scheduling., and . HSCC, volume 4416 of Lecture Notes in Computer Science, page 601-613. Springer, (2007)Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)., , , , and . AAAI, page 9770-9774. AAAI Press, (2019)A combinatorial game approach to state nullification by hybrid feedback.. CDC, page 4643-4647. IEEE, (2007)Robust stability of multi-hop control networks., , , , and . CDC, page 2210-2215. IEEE, (2009)Ranking Automata and Games for Prioritized Requirements., , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 240-253. Springer, (2008)Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries., , and . EXE@MoDELS, volume 1760 of CEUR Workshop Proceedings, page 5-11. CEUR-WS.org, (2016)Modeling and Analysis of Multi-hop Control Networks., , , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 223-232. IEEE Computer Society, (2009)Simple Executions of Snapshot Implementations., , and . CoRR, (2015)