%0 Conference Paper %1 conf/memocode/SarwarRB23 %A Sarwar, Mir Md Sajid %A Ray, Rajarshi %A Banerjee, Ansuman %B MEMOCODE %D 2023 %E von Hanxleden, Reinhard %E Edwards, Stephen A. %E Brandt, Jens %E Zhu, Qi %I ACM / IEEE %K dblp %P 47-58 %T Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#SarwarRB23 %@ 979-8-4007-0318-8

@inproceedings{conf/memocode/SarwarRB23, added-at = {2023-12-02T00:00:00.000+0100}, author = {Sarwar, Mir Md Sajid and Ray, Rajarshi and Banerjee, Ansuman}, biburl = {https://www.bibsonomy.org/bibtex/2199bbedcd5d32fd1bb1e018be922175a/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2023}, editor = {von Hanxleden, Reinhard and Edwards, Stephen A. and Brandt, Jens and Zhu, Qi}, ee = {https://ieeexplore.ieee.org/document/10316224}, interhash = {12672f32ef3f107fc979bf0fc799a5ad}, intrahash = {199bbedcd5d32fd1bb1e018be922175a}, isbn = {979-8-4007-0318-8}, keywords = {dblp}, pages = {47-58}, publisher = {ACM / IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#SarwarRB23}, year = 2023 }