@inproceedings{10.1007/978-3-030-85315-0_19,
    Abstract = {The realizability problem for a given specification {\$}{\$}{\backslash}mathcal{\{}S{\}}{\$}{\$}Sis to decide whether there exists an implementation satisfying {\$}{\$}{\backslash}mathcal{\{}S{\}}{\$}{\$}S. Although the problem is important in the field of reactive synthesis of recursive programs, the problem has not been studied yet when specification and implementation are given by pushdown computational models. This paper investigates the realizability problem for the cases that a specification and an implementation are given by a pushdown automaton (PDA) and a pushdown transducer (PDT), and a register pushdown automata (RPDA) and a register pushdown transducer (RPDT).},
    Address = {Cham},
    Author = {Senda, Ryoma and Takata, Yoshiaki and Seki, Hiroyuki},
    BookTitle = {Theoretical Aspects of Computing -- ICTAC 2021},
    Editor = {Cerone, Antonio and {\"O}lveczky, Peter Csaba},
    ISBN = {978-3-030-85315-0},
    Pages = {334--353},
    Publisher = {Springer International Publishing},
    Title = {Reactive Synthesis from Visibly Register Pushdown Automata},
    Year = {2021},
    date-added = {2021-09-07 11:35:30 +0200},
    date-modified = {2021-09-07 11:35:30 +0200},
    doi = {10.1007/978-3-030-85315-0_19}
}

@inproceedings{10.1007/978-3-030-85315-0_19, Abstract = {The realizability problem for a given specification {\$}{\$}{\backslash}mathcal{{}S{}}{\$}{\$}Sis to decide whether there exists an implementation satisfying {\$}{\$}{\backslash}mathcal{{}S{}}{\$}{\$}S. Although the problem is important in the field of reactive synthesis of recursive programs, the problem has not been studied yet when specification and implementation are given by pushdown computational models. This paper investigates the realizability problem for the cases that a specification and an implementation are given by a pushdown automaton (PDA) and a pushdown transducer (PDT), and a register pushdown automata (RPDA) and a register pushdown transducer (RPDT).}, Address = {Cham}, Author = {Senda, Ryoma and Takata, Yoshiaki and Seki, Hiroyuki}, BookTitle = {Theoretical Aspects of Computing -- ICTAC 2021}, Editor = {Cerone, Antonio and {\"O}lveczky, Peter Csaba}, ISBN = {978-3-030-85315-0}, Pages = {334--353}, Publisher = {Springer International Publishing}, Title = {Reactive Synthesis from Visibly Register Pushdown Automata}, Year = {2021}, date-added = {2021-09-07 11:35:30 +0200}, date-modified = {2021-09-07 11:35:30 +0200}, doi = {10.1007/978-3-030-85315-0_19} }