Scalable and Efficient Deep Reinforcement Learning-Based Model Checker for Computation Tree Logic

Συγγραφείς: Alwhishi, G., Bentahar, J., Andam, A., Elwhishi, A., Hedabou, M.

Πηγή: IEEE Transactions on Neural Networks and Learning Systems IEEE Trans. Neural Netw. Learning Syst. Neural Networks and Learning Systems, IEEE Transactions on. 37(10):5627-5641 Oct, 2026

The Finite Satisfiability Problem for PCTL is Undecidable

Συγγραφείς: Chodil, Miroslav, Kučera, Antonín

Πηγή: Journal of the ACM. 73(1):1-30

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3787496

Temporal Requirement Formalization Using Large Language Models

Συγγραφείς: Hu, Zhiyuan, Ma, Wei, Wang, Qiang, Jiang, Lingxiao, Li, Dongsheng

Πηγή: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER), 2026 IEEE International Conference on. :842-853 Mar, 2026

Relation: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts

Συγγραφείς: Liu, Siyuan, Author, Saoud, Adnane, Author, Dimarogonas, Dimos V., Author

Συνεισφορές: Liu, Siyuan, Author, Saoud, Adnane, Author, Dimarogonas, Dimos V., Author

Πηγή: IEEE Transactions on Automatic Control. 70(9):5894-5909

Θεματικοί όροι: Contracts, Multi-agent systems, Logic, Robustness, Semantics, Collaboration, Interconnected systems, Couplings, Cognition, Aerospace electronics, Assume-guarantee contracts (AGC), distributed control, formal methods, multiagent systems, prescribed performance control, signal temporal logics (STL)

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-374146
https://doi.org/10.1109/TAC.2025.3549288

No universal patient: temporal logics of harm prevention in emotional AI healthcare across Japan, China, and Hong Kong

Συγγραφείς: Martín-Peña, Rosa E.^{Aff1, Aff2, IDs00146026033555_cor1}, Li, Zhengmin^{Aff3, IDs00146026033555_cor2}

Πηγή: AI & SOCIETY: Journal of Knowledge, Culture and Communication. :1-19

Post-Hoc Scenario-Based Testing of Automated Driving Systems: Classification of Driving Scenarios and Checking of Functional Requirements in Recorded Data

Συγγραφείς: Schallau, Till, Schmid, Dominik, Pawlinorz, Nick, Teper, Harun, Naujokat, Stefan, Chen, Jian-Jia, Howar, Falk

Πηγή: 2025 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2025 IEEE. :1523-1530 Jun, 2025

Relation: 2025 IEEE Intelligent Vehicles Symposium (IV)

Temporal Logics Meet Real-World Software Requirements: A Reality Check

Συγγραφείς: Bogli, Roman, Rohani, Atefeh, Studer, Thomas, Tsigkanos, Christos, Kehrer, Timo

Πηγή: 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2025 IEEE/ACM 13th International Conference on. :74-85 Apr, 2025

Relation: 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE)

Verifying Asynchronous Hyperproperties in Reactive Systems

Συγγραφείς: Beutner, Raven, Finkbeiner, Bernd

Πηγή: Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2227-2253

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3763130

Grounding Stream Reasoning Research

Συγγραφείς: Bonte, Pieter, Author, Calbimonte, Jean-Paul, Author, de Leng, Daniel, 1988-, Author, Dell'Aglio, Daniele, Author, Della Valle, Emanuele, Author, Eiter, Thomas, Author, Giannini, Federico, Author, Heintz, Fredrik, 1975-, Author, Schekotihin, Konstantin, Author, Le-Phuoc, Danh, Author, Mileo, Alessandra, Author, Schneider, Patrik, Author, Tommasini, Riccardo, Author, Urbani, Jacopo, Author, Ziffer, Giacomo, Author

Συνεισφορές: Bonte, Pieter, Author, Calbimonte, Jean-Paul, Author, de Leng, Daniel, 1988-, Author, Dell'Aglio, Daniele, Author, Della Valle, Emanuele, Author, Eiter, Thomas, Author, Giannini, Federico, Author, Heintz, Fredrik, 1975-, Author, Schekotihin, Konstantin, Author, Le-Phuoc, Danh, Author, Mileo, Alessandra, Author, Schneider, Patrik, Author, Tommasini, Riccardo, Author, Urbani, Jacopo, Author, Ziffer, Giacomo, Author

Πηγή: Transactions on Graph Data and Knowledge (TGDK). 2(1):1-47

Θεματικοί όροι: Stream Reasoning, Stream Processing, RDF streams, Streaming Linked Data, Continuous query processing, Temporal Logics, High-performance computing, Databases

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-203211
https://doi.org/10.4230/TGDK.2.1.2

Explaining and Clustering Playtraces Using Temporal Logics

Συγγραφείς: Gutiérrez-Sánchez, Pablo, Pérez-Liébana, Diego, Gaina, Raluca D

Πηγή: Proceedings of the 20th International Conference on the Foundations of Digital Games. :1-10

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3723498.3723719

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Συγγραφείς: Heim, Philippe, Dimitrova, Rayna

Πηγή: Proceedings of the ACM on Programming Languages. 9(POPL):1536-1567

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3704888

Generalized Mean Robustness for Signal Temporal Logic

Συγγραφείς: Mehdipour, N., Vasile, C., Belta, C.

Πηγή: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 70(3):1949-1956 Mar, 2025

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

Συγγραφείς: Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana

Πηγή: ACM Transactions on Computational Logic. 25(2):1-43

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3651161

Deciding Branching Hyperproperties for Real Time Systems

Συγγραφείς: Deka, Nabarun, Zhang, Minjian, Chadha, Rohit, Viswanathan, Mahesh

Πηγή: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :65-79 Jul, 2024

Relation: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)

Automated Reasoning

Συνεισφορές: Biere, Armin, Lutz, Carsten, Negri, Sara

Θεματικοί όροι: Open Access, Automated reasoning, Proof theory, Modal and temporal logics, Equational logic and rewriting, Higher order logic, Formal methods, Software verification, Model checking, Theorem proving and SAT solving, Program verification, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering

Περιγραφή αρχείου: application/pdf

Relation: Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/117842

A Progress-Based Algorithm for Interpretable Reinforcement Learning in Regression Testing

Συγγραφείς: Gutierrez-Sanchez, P., Gomez-Martin, M.A., Gonzalez-Calero, P.A., Gomez-Martin, P.P.

Πηγή: IEEE Transactions on Games IEEE Trans. Games Games, IEEE Transactions on. 16(4):844-853 Dec, 2024

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications

Συγγραφείς: Pek, Christian, Author, Schuppe, Georg Friedrich, 1993-, Author, Esposito, Francesco, Author, Tumova, Jana, Author, Kragic, Danica, 1971-, Author

Συνεισφορές: Pek, Christian, Author, Schuppe, Georg Friedrich, 1993-, Author, Esposito, Francesco, Author, Tumova, Jana, Author, Kragic, Danica, 1971-, Author

Πηγή: Autonomous Robots. 47(8):1439-1462

Θεματικοί όροι: Monitoring, Object-centric planning, Spatio-temporal logics, Task and motion planning

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-348211
https://doi.org/10.1007/s10514-023-10145-1

The Finite Satisfiability Problem for PCTL is Undecidable

Συγγραφείς: Chodil, Miroslav, Kučera, Antonín

Πηγή: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-14

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3661814.3662145

HYASM: A Tool to Verify Hierarchical Systems

Συγγραφείς: Ferrando, Angelo, Malvone, Vadim, Murano, Aniello, Stranieri, Silvia

Πηγή: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on. :1-6 Dec, 2023

Relation: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

Foundations of Software Science and Computation Structures

Συνεισφορές: Bertrand, Nathalie, Milius, Stefan

Θεματικοί όροι: Open Access, Categorical models and logics, Language theory, Automata, And games, Type theory and proof theory, Concurrency theory and process calculi, Modal, Spatial, And temporal logics, Rewriting theory, Semantics of programming languages, Program analysis, Correctness, Transformation, And verification, Logics of programming, Software specification and refinement, Models of concurrent, Reactive, And stochastic systems, Models of distributed, Hybrid, And mobile systems, Emerging models of computation, Logical aspects of computational complexity, Models of software security, Logical foundations of data bases, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists, thema EDItEUR::U Computing and Information Technology::UY Computer science, thema EDItEUR::U Computing and Information Technology::UN Databases, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics

Περιγραφή αρχείου: application/pdf

Relation: Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/117841