Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings / / edited by Bernhard Steffen |
Autore | Steffen Bernhard |
Edizione | [1st ed. 2025.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
Descrizione fisica | 1 online resource (477 pages) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Artificial intelligence Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
ISBN |
9783031754340
3031754344 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification for Neuro-Symbolic Artificial Intelligence -- Is your AI-based System Five Star Sustainable? -- Certainty vs. Intelligence -- Responsible and Trusted AI: An Interdisciplinary Perspective -- Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence -- Transparent Transparency: Developing a Scheme for Understanding Transparency Requirements -- AI Act for the Working Programmer -- AI Assisted Programming (AISoLA 2024 Track Introduction) -- SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning -- Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software -- Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase -- LLM based Scheme for Synthesis of Formal Verification Algorithms -- Verification and Learning for Assured Autonomy -- A Comparison of Monitoring Techniques for Deep Neural Networks -- Efficient Shield Synthesis via State-Space Transformation -- Conformal Quantitative Predictive Monitoring and Conditional Validity -- Runtime Verification and AI: Addressing Pragmatic Regulatory -- A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL -- Systematic Translation from Natural Language Robot Task Descriptions to STL -- It's Safe to Play while Driving: From a Spatial Traffic Logic Towards Traffic Games -- Monitoring Safety and Reliability of Underwater Robots: A Case Study -- Statistical Model Checking the 2024 Edition! -- Reinforcement learning for discretized Euclidean MDPs -- Adaptive Stopping Algorithms Based on Concentration Inequalities -- Digging for Decision Trees: A Case Study in Strategy Sampling and Learning -- Statistical Analysis of the Impact of Bit-Flips in Security Critical Code -- Statistical Model Checking of python Agent-based models: an integration of MultiVeStA and Mesa -- On SMC-Based Dependability Analysis in LoLiPoP-IoT Project -- Towards Verifying Robotic Systems using Statistical Model Checking in STORM. |
Record Nr. | UNISA-996636772403316 |
Steffen Bernhard
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Bridging the Gap Between AI and Reality [[electronic resource] ] : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / / edited by Bernhard Steffen |
Autore | Steffen Bernhard |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (454 pages) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science
Software engineering Computers, Special purpose Computer systems Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
ISBN |
9783031460029
9783031460012 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming. |
Record Nr. | UNISA-996587869303316 |
Steffen Bernhard
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / / edited by Bernhard Steffen |
Autore | Steffen Bernhard |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (454 pages) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer science
Software engineering Computers, Special purpose Computer systems Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
ISBN |
9783031460029
9783031460012 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming. |
Record Nr. | UNINA-9910770279103321 |
Steffen Bernhard
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches / / by Bernhard Steffen, Oliver Rüthing, Michael Huth |
Autore | Steffen Bernhard |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXVII, 228 p. 29 illus., 7 illus. in color.) |
Disciplina | 004.0151 |
Soggetto topico |
Computer science—Mathematics
Computers Computer science - Mathematics Software engineering Mathematics of Computing Theory of Computation Mathematical Applications in Computer Science Software Engineering/Programming and Operating Systems |
ISBN | 3-319-68397-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics. |
Record Nr. | UNINA-9910299270603321 |
Steffen Bernhard
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|