The Modal Transition System Control Problem. D'Ippolito, N., Braberman, V., Piterman, N., & Uchitel, S. In 19th International Symposium on Formal Methods, volume 7436, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 155-170, Paris, France, 2012. © Springer-Verlag.
Paper bibtex @InProceedings{DBPU12,
author = {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},
title = {The Modal Transition System Control Problem},
booktitle = {19th International Symposium on Formal Methods},
pages = {155-170},
year = {2012},
volume = {7436},
series = {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},
address = {Paris, France},
publisher = {© Springer-Verlag},
url_Paper = {2012/DBPU12.pdf},
keywords = {Synthesis,Model Driven Development,Games},
}
Downloads: 0
{"_id":"suNzD8oYGeMznG8aZ","bibbaseid":"dippolito-braberman-piterman-uchitel-themodaltransitionsystemcontrolproblem-2012","authorIDs":["2PC6w3z2uZxPiE7iL","8thReCRmKkgSA7o93","BFjWrsKhtJwcChPA5","DaYiAfQymmupoWdws","QbTA6fjNucC4FkzQY","RNZenG6M7dmLAB8sS","cpxQ4vpGKDSrXSiBD","guLfsi5DzhAtdupEd","nT2YWxpsrENZQnneX","xS5K7WpvHmKW27SLd"],"author_short":["D'Ippolito, N.","Braberman, V.","Piterman, N.","Uchitel, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["N."],"propositions":[],"lastnames":["D'Ippolito"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Braberman"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Uchitel"],"suffixes":[]}],"title":"The Modal Transition System Control Problem","booktitle":"19th International Symposium on Formal Methods","pages":"155-170","year":"2012","volume":"7436","series":"<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>","address":"Paris, France","publisher":"© Springer-Verlag","url_paper":"2012/DBPU12.pdf","keywords":"Synthesis,Model Driven Development,Games","bibtex":"@InProceedings{DBPU12,\n author = \t {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},\n title = \t {The Modal Transition System Control Problem},\n booktitle = {19th International Symposium on Formal Methods},\n pages = \t {155-170},\n year = \t {2012},\n volume = \t {7436},\n series = \t {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},\n address = \t {Paris, France},\n publisher = {© Springer-Verlag},\n url_Paper = {2012/DBPU12.pdf},\n keywords = {Synthesis,Model Driven Development,Games},\n}\n\n\n","author_short":["D'Ippolito, N.","Braberman, V.","Piterman, N.","Uchitel, S."],"key":"DBPU12","id":"DBPU12","bibbaseid":"dippolito-braberman-piterman-uchitel-themodaltransitionsystemcontrolproblem-2012","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2012/DBPU12.pdf"},"keyword":["Synthesis","Model Driven Development","Games"],"metadata":{"authorlinks":{"piterman, n":"https://www.cse.chalmers.se/"}}},"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","creationDate":"2020-05-20T12:56:32.369Z","downloads":0,"keywords":["synthesis","model driven development","games"],"search_terms":["modal","transition","system","control","problem","d'ippolito","braberman","piterman","uchitel"],"title":"The Modal Transition System Control Problem","year":2012,"dataSources":["dBCbAowrXBj8Z9xpg"]}