Author:
Norman Gethin,Parker David,Zou Xueyi
Funder
Engineering and Physical Sciences Research Council (GB)
Defense Sciences Office, DARPA
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference54 articles.
1. Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126:183–235
2. Alur R, Henzinger T (1999) Reactive modules. Formal Methods Syst Des 15(1):7–48
3. Alur R, La Torre S, Pappas G (2004) Optimal paths in weighted timed automata. Theor Comput Sci 318(3):297–322
4. Baier C, Bertrand N, Größer M (2008) On decision problems for probabilistic Büchi automata. In: Amadio R (ed.) Proceedings of the 11th international conference foundations of software science and computation structures (FOSSACS’08). LNCS, vol 4962. Springer, Berlin, pp 287–301
5. Baier C, Größer M, Leucker M, Bollig B, Ciesinski F (2004) Controller synthesis for probabilistic systems. In: Lévy L, Mayr E, Mitchell J (eds) Proceedings of the 3rd IFIP international conference theoretical computer science (TCS 2006). Kluwer, Dordrecht, pp 493–506
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献