This post has
0
votes
vote for this article

Hello world!

Turker, Uraz; Hierons, Robert; Mousavi, Mohammad Reza; Tyukin, Ivan

Efficient state synchronisation in model-based testing through reinforcement learning Inproceedings

In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)., IEEE/ACM, 2021.

Abstract | Links | BibTeX

Damasceno, Carlos Diego; Mousavi, Mohammad Reza; Simao, Adenilso

Learning by sampling: learning behavioral family models from software product lines Journal Article

In: Empirical Software Engineering, 26 (4), 2021.

BibTeX

Fisher, Michael; Mascardi, Viviana; Rozier, Kristin Yvonne; Schlingloff, Bernd-Holger; Winikoff, Michael; Yorke-Smith, Neil

Towards a Framework for Certification of Reliable Autonomous Systems Journal Article

In: Autonomous Agents and Multi Agent Systems, 35 (8), 2021.

Links | BibTeX

Araujo, Hugo; Hoenselaar, Ties; Mousavi, Mohammad Reza; Vinel, Alex

Connected automated driving: a model-based approach to the analysis of basic awareness services Book Chapter

In: 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 1-7, 0000.

Links | BibTeX

Tyukin, Ivan; Higham, Desmond; Gorban, Alexander

On adversarial examples and stealth attacks in artificial intelligence systems Book Chapter

In: 2020 International Joint Conference on Neural Networks (IJCNN), pp. 1-6, 0000.

Links | BibTeX

Miyazawa, Alvaro; Ribeiro, Pedro; Li, Wei; Cavalcanti, Ana; Jon Timmis,; Woodcock, Jim

RoboChart: modelling and verification of the functional behaviour of robotic applications Journal Article

In: Software & Systems Modeling, 18 (5), pp. 3097-3149, 0000.

Links | BibTeX

Foster, Simon; Baxter, James; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP Journal Article

In: CoRR, abs/1905.05500 , 0000.

Links | BibTeX

Louise, Dennis; Fisher, Michael; Lincoln, Nicholas; Lisitsa, Alexei; Veres, Sandor

Practical verification of decision-making in agent-based autonomous systems Journal Article

In: Automated Software Engineering, 23 (3), pp. 305–359, 0000, ISBN: 1573-7535.

Links | BibTeX

Turker, U. C.; Hierons, Robert M.; Mousavi, Mohammad Reza; Tyukin, Ivan Y.

Efficient state synchronisation in model-based testing through reinforcement learning Book Chapter

In: The 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, 0000.

BibTeX

Damasceno, Carlos Diego Nascimento; Mousavi, Mohammad Reza; Simao, Adenilso Silva

Learning by sampling: learning behavioral family models from software product lines Journal Article

In: Empirical Software Engineering, 26 (1), pp. 1–46, 0000.

BibTeX

Alves, Gleifer Vaz; Dennis, Louise; Fisher, Michael

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations Journal Article

In: Journal of Sensor and Actuator Networks, 10 (3), 0000, ISSN: 2224-2708.

Abstract | Links | BibTeX

Dennis, Louise A.; Bentzen, Martin Mose; Lindner, Felix; Fisher, Michael

Verifiable Machine Ethics in Changing Contexts Journal Article

In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.

Links | BibTeX

Turker, Uraz; Hierons, Robert; Mousavi, Mohammad Reza; Tyukin, Ivan

Efficient state synchronisation in model-based testing through reinforcement learning Inproceedings

In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)., IEEE/ACM, 2021.

Abstract | Links | BibTeX

Damasceno, Carlos Diego; Mousavi, Mohammad Reza; Simao, Adenilso

Learning by sampling: learning behavioral family models from software product lines Journal Article

In: Empirical Software Engineering, 26 (4), 2021.

BibTeX

Fisher, Michael; Mascardi, Viviana; Rozier, Kristin Yvonne; Schlingloff, Bernd-Holger; Winikoff, Michael; Yorke-Smith, Neil

Towards a Framework for Certification of Reliable Autonomous Systems Journal Article

In: Autonomous Agents and Multi Agent Systems, 35 (8), 2021.

Links | BibTeX

Araujo, Hugo; Hoenselaar, Ties; Mousavi, Mohammad Reza; Vinel, Alex

Connected automated driving: a model-based approach to the analysis of basic awareness services Book Chapter

In: 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 1-7, 0000.

Links | BibTeX

Tyukin, Ivan; Higham, Desmond; Gorban, Alexander

On adversarial examples and stealth attacks in artificial intelligence systems Book Chapter

In: 2020 International Joint Conference on Neural Networks (IJCNN), pp. 1-6, 0000.

Links | BibTeX

Miyazawa, Alvaro; Ribeiro, Pedro; Li, Wei; Cavalcanti, Ana; Jon Timmis,; Woodcock, Jim

RoboChart: modelling and verification of the functional behaviour of robotic applications Journal Article

In: Software & Systems Modeling, 18 (5), pp. 3097-3149, 0000.

Links | BibTeX

Foster, Simon; Baxter, James; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP Journal Article

In: CoRR, abs/1905.05500 , 0000.

Links | BibTeX

Louise, Dennis; Fisher, Michael; Lincoln, Nicholas; Lisitsa, Alexei; Veres, Sandor

Practical verification of decision-making in agent-based autonomous systems Journal Article

In: Automated Software Engineering, 23 (3), pp. 305–359, 0000, ISBN: 1573-7535.

Links | BibTeX

Turker, U. C.; Hierons, Robert M.; Mousavi, Mohammad Reza; Tyukin, Ivan Y.

Efficient state synchronisation in model-based testing through reinforcement learning Book Chapter

In: The 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, 0000.

BibTeX

Damasceno, Carlos Diego Nascimento; Mousavi, Mohammad Reza; Simao, Adenilso Silva

Learning by sampling: learning behavioral family models from software product lines Journal Article

In: Empirical Software Engineering, 26 (1), pp. 1–46, 0000.

BibTeX

Alves, Gleifer Vaz; Dennis, Louise; Fisher, Michael

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations Journal Article

In: Journal of Sensor and Actuator Networks, 10 (3), 0000, ISSN: 2224-2708.

Abstract | Links | BibTeX

Dennis, Louise A.; Bentzen, Martin Mose; Lindner, Felix; Fisher, Michael

Verifiable Machine Ethics in Changing Contexts Journal Article

In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.

Links | BibTeX

One thought on “Hello world!

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes:

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>