top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings / / edited by Bernhard Steffen
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bridging the Gap Bet...Steffen Bernhard
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bridging the Gap Bet...Steffen Bernhard
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / / edited by Bernhard Steffen
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Bridging the Gap Bet...Steffen Bernhard
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches / / by Bernhard Steffen, Oliver Rüthing, Michael Huth
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical Foundat...Steffen Bernhard