GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.

Brendan P. Mahony

Hadrien Bride Jin Song Dong 0001 Ryan Green Zhé Hóu Brendan P. Mahony Martin Oxenham GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. 104091 2021 97 Eng. Appl. Artif. Intell. https://doi.org/10.1016/j.engappai.2020.104091 db/journals/eaai/eaai97.html#BrideDGHMO21

Hadrien Bride Cheng-Hao Cai Jin Song Dong 0001 Rajeev Goré Zhé Hóu Brendan P. Mahony Jim McCarthy N-PAT: A Nested Model-Checker - (System Description). 369-377 2020 IJCAR (2) https://doi.org/10.1007/978-3-030-51054-1_22 conf/cade/2020-2 db/conf/cade/ijcar2020-2.html#BrideCDGHMM20 Hadrien Bride Jin Song Dong 0001 Zhé Hóu Brendan P. Mahony Jim McCarthy RL: a Language for Formal Engineering. 31-36 2020 ICECCS https://doi.org/10.1109/ICECCS51672.2020.00011 conf/iceccs/2020 db/conf/iceccs/iceccs2020.html#BrideDHMM20 Shang-Wei Lin 0001 Zhe Hou Brendan P. Mahony Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings ICFEM Springer 2020 Lecture Notes in Computer Science 12531 978-3-030-63405-6 978-3-030-63406-3 https://doi.org/10.1007/978-3-030-63406-3 db/conf/icfem/icfem2020.html

Hadrien Bride Cheng-Hao Cai Jin Song Dong 0001 Rajeev Goré Zhé Hóu Brendan P. Mahony Jim McCarthy N-PAT: A Nested Model-Checker. 2020 abs/2005.05520 CoRR https://arxiv.org/abs/2005.05520 db/journals/corr/corr2005.html#abs-2005-05520

Hadrien Bride Jin Song Dong 0001 Ryan Green Zhe Hou Brendan P. Mahony Martin Oxenham GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. 2019 abs/1910.01380 CoRR http://arxiv.org/abs/1910.01380 db/journals/corr/corr1910.html#abs-1910-01380

Hadrien Bride Jin Song Dong 0001 Zhé Hóu Brendan P. Mahony Martin Oxenham Towards Trustworthy AI for Autonomous Systems. 407-411 2018 ICFEM https://doi.org/10.1007/978-3-030-02450-5_24 conf/icfem/2018 db/conf/icfem/icfem2018.html#BrideDHMO18 Tony Cant Ben Long Jim McCarthy Brendan P. Mahony Kylie Williams The HiVe Writer. 221-234 2008 conf/ssv/2008 SSV https://doi.org/10.1016/j.entcs.2008.06.051 db/journals/entcs/entcs217.html#CantLMMW08

Jin Song Dong 0001 Ping Hao Brendan P. Mahony Formal Designs for Embedded and Hybrid Systems. 373-378 2005 15 Int. J. Softw. Eng. Knowl. Eng. 2 https://doi.org/10.1142/S0218194005002117 db/journals/ijseke/ijseke15.html#DongHM05

Yue Tang Jin Song Dong 0001 Jing Sun 0002 Brendan P. Mahony Reasoning about Semantic Web in Isabelle/HOL. 46-53 2004 conf/apsec/2004 APSEC https://doi.org/10.1109/APSEC.2004.82 https://doi.ieeecomputersociety.org/10.1109/APSEC.2004.82 https://www.wikidata.org/entity/Q133978641 db/conf/apsec/apsec2004.html#YueDJM04

Brendan P. Mahony Jin Song Dong 0001 Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. 142-160 2002 13 Formal Aspects Comput. 2 https://doi.org/10.1007/s001650200004 db/journals/fac/fac13.html#MahonyD02

Jing Liu Jin Song Dong 0001 Brendan P. Mahony Kun Shi Linking UML with Integrated Formal Techniques. 210-223 2001 books/idea/Siau01 Unified Modeling Language: Systems Analysis, Design and Development Issues db/books/collections/Siau2001.html#LiuDMS01

Brendan P. Mahony Jin Song Dong 0001 Timed Communicating Object Z. 150-177 2000 26 IEEE Trans. Software Eng. 2 https://doi.org/10.1109/32.841115 http://doi.ieeecomputersociety.org/10.1109/32.841115 db/journals/tse/tse26.html#MahonyD00

Brendan P. Mahony The Least Conjunctive Refinement and Promotion in the Refinement Calculus. 75-105 1999 11 Formal Aspects Comput. 1 https://doi.org/10.1007/s001650050037 db/journals/fac/fac11.html#Mahony99

Jin Song Dong 0001 Brendan P. Mahony Neale Fulton Capturing Periodic Concurrent Interactions of Mission Computer Tasks. 538-545 1999 conf/apsec/1999 APSEC https://doi.org/10.1109/APSEC.1999.809647 https://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809647 db/conf/apsec/apsec1999.html#DongMF99 Brendan P. Mahony Jin Song Dong 0001 Sensors and Actuators in TCOZ. 1166-1185 1999 conf/fm/1999-2 World Congress on Formal Methods https://doi.org/10.1007/3-540-48118-4_12 db/conf/fm/fm1999-2.html#MahonyD99 Jin Song Dong 0001 Brendan P. Mahony Neale Fulton Modeling Aircraft Mission Computer Task Rates. 1855 1999 conf/fm/1999-2 World Congress on Formal Methods https://doi.org/10.1007/3-540-48118-4_49 db/conf/fm/fm1999-2.html#DongMF99 Brendan P. Mahony Jin Song Dong 0001 Overview of the Semantics of TCOZ. 66-85 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#MahonyD99 https://doi.org/10.1007/978-1-4471-0851-1_5 Jin Song Dong 0001 Brendan P. Mahony Active Objects in TCOZ. 16-25 1998 conf/icfem/1998 ICFEM https://doi.org/10.1109/ICFEM.1998.730566 https://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730566 db/conf/icfem/icfem1998.html#DongM98 Colin J. Fidge Ian J. Hayes Brendan P. Mahony Defining Differentiation and Integration in Z. 64-75 1998 conf/icfem/1998 ICFEM https://doi.org/10.1109/ICFEM.1998.730571 https://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730571 db/conf/icfem/icfem1998.html#FidgeHM98 Brendan P. Mahony Jin Song Dong 0001 Blending Object-Z and Timed CSP: An Introduction to TCOZ. 95-104 1998 conf/icse/1998 ICSE db/conf/icse/icse98.html#MahonyD98 https://doi.org/10.1109/ICSE.1998.671106 https://doi.ieeecomputersociety.org/10.1109/ICSE.1998.671106 Brendan P. Mahony Jin Song Dong 0001 Network Topology and a Case Study in TCOZ. 308-327 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#MahonyD98 https://doi.org/10.1007/978-3-540-49676-2_21

Ian J. Hayes Brendan P. Mahony Using Units of Measurement in Formal Specifications. 329-347 1995 7 Formal Aspects Comput. 3 db/journals/fac/fac7.html#HayesM95 https://doi.org/10.1007/BF01211077

Brendan P. Mahony The specification and refinement of timed processes University of Queensland, Australia 1992 https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ_ALMA21108619400003131

Brendan P. Mahony Ian J. Hayes A Case-Study in Timed Refinement: A Mine Pump. 817-826 https://doi.org/10.1109/32.159841 http://doi.ieeecomputersociety.org/10.1109/32.159841 1992 18 IEEE Trans. Software Eng. 9 db/journals/tse/tse18.html#MahonyH92

Hadrien Bride Chenghao CaiCheng-Hao Cai Tony Cant Jin Song Dong 0001 Colin J. Fidge Neale Fulton Rajeev Goré Ryan Green Ping Hao Ian J. Hayes Zhe HouZhé Hóu Shangwei Lin 0001Shang-Wei Lin 0001 Jing Liu Ben Long Jim McCarthy Martin Oxenham Kun Shi Jing Sun 0002 Kylie Williams Tang YueYue Tang