SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

Συγγραφείς: Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Πηγή: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13

Θεματικοί όροι: FOS: Computer and information sciences, Model checking, Automated Software Testing Techniques, 4. Education, Linear temporal logic, Fuzz testing, Computer science, Model Checking, Programming language, Algorithm, Software Fault Localization, Theoretical computer science, Computational Theory and Mathematics, Bug Localization, Solver, Soundness, Computer Science, Physical Sciences, Fuzzing, Boolean satisfiability problem, Satisfiability, Software, Formal Methods in Software Verification and Control, Empirical Studies in Software Engineering, Information Systems

Modeling and Analysis of Cooperative Packet Recovery Protocol

Συγγραφείς: Muhammad Naeem, Muhammad Atif, Arshad Ali, Maryam Gulzar, Imran Riaz Hasrat

Πηγή: IEEE Access, Vol 12, Pp 56334-56343 (2024)
Naeem, M, Atif, M, Ali, A, Gulzar, M & Hasrat, I R 2024, 'Modeling and Analysis of Cooperative Packet Recovery Protocol', IEEE Access, vol. 12, pp. 56334-56343. https://doi.org/10.1109/ACCESS.2024.3389738

Θεματικοί όροι: Alternative medicine, Computer Networks and Communications, End-to-End Congestion Control in Networks, RTP Control Protocol, Transmission delay, 7. Clean energy, Broadcasting (networking), Link Control Protocol, Server, Quality of service, Multicast, packet recovery, video distribution, Pathology, User Datagram Protocol, formal specification, Computer network, QoS Routing, Distributed algorithm, Network packet, Resource Reservation Protocol, Software-Defined Networking and Network Virtualization, Bandwidth Estimation, linear temporal logic, Computer science, model checking, TK1-9971, World Wide Web, Internet Protocol, Computational Theory and Mathematics, Computer Science, Physical Sciences, Protocol (science), Delay Analysis, Medicine, Electrical engineering. Electronics. Nuclear engineering, The Internet, Formal Methods in Software Verification and Control, Network Performance

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/00694f983ea640cf90bd24ea940326dd
https://vbn.aau.dk/da/publications/ed477bc4-2fc3-4bbb-bb5e-08fe6a9d1a70
https://doi.org/10.1109/ACCESS.2024.3389738
http://www.scopus.com/inward/record.url?scp=85190748648&partnerID=8YFLogxK
https://vbn.aau.dk/ws/files/765048312/Modeling_and_Analysis_of_Cooperative_Packet_Recovery_Protocol.pdf

Laws of Timed State Machines

Συγγραφείς: Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio

Πηγή: The Computer Journal. 67:2066-2107

Θεματικοί όροι: Artificial intelligence, 0102 computer and information sciences, 02 engineering and technology, Normalization (sociology), Operator (biology), 01 natural sciences, Biochemistry, Gene, 7. Clean energy, 12. Responsible consumption, Context (archaeology), Theoretical computer science, Abstract machine, Sociology, Temporal Logic, State (computer science), 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Biology, Finite-state machine, Arithmetic, Model Transformation, Paleontology, Semantics (computer science), Computer science, UML, Programming language, FOS: Sociology, Chemistry, Computational Theory and Mathematics, Notation, Anthropology, Computer Science, Physical Sciences, Abstract state machines, Transformation (genetics), Repressor, Software Reliability Assessment and Prediction, Transcription factor, Software, Mathematics, Formal Methods in Software Verification and Control

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving

Συγγραφείς: Dang Duy Bui, Duong Dinh Tran, Kôichi Ogata, Adrián Riesco

Πηγή: Multimedia Tools and Applications. 83:36865-36898

Θεματικοί όροι: Artificial intelligence, Abstract Interpretation, Commutative property, 0102 computer and information sciences, 02 engineering and technology, Poaceae, 01 natural sciences, Theoretical computer science, Context (archaeology), Artificial Intelligence, Logic Programming and Knowledge Representation, State (computer science), Automated theorem proving, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Conjecture, Biology, Parsing, Ecology, Computer graphics (images), Paleontology, Reachability, Animation, Discrete mathematics, Computer science, Rule-based machine translation, Programming language, Lemma (botany), Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control

Towards automatic Maude specifications generation from C functions

Συγγραφείς: Fateh Boutekkouk

Πηγή: Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)

Θεματικοί όροι: Rewriting, Information technology, 0102 computer and information sciences, 02 engineering and technology, Epistemology, 01 natural sciences, Autonomic Computing and Self-Adaptive Systems, Logic programming, Artificial Intelligence, Specification language, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Model-Driven Engineering in Software Development, Equational logic, formal specification, maude, Semantics (computer science), QA75.5-76.95, T58.5-58.64, Computer science, MDE Practices, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Simplicity, Computational Theory and Mathematics, Functional programming, c programming language, Electronic computers. Computer science, Computer Science, Physical Sciences, Operational semantics, Software, Formal Methods in Software Verification and Control

Σύνδεσμος πρόσβασης: https://doaj.org/article/4650403a5ea24100b2fa9a48f1c25668

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Συγγραφείς: Figueira, Diego, Figueira, Santiago, Pin, Edwin

Πηγή: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Class (philosophy), Computer Science - Artificial Intelligence, Geometry, Decidability, Converse, Description Logics, PSPACE, Theoretical computer science, Engineering, Computer Science - Databases, Logic Programming and Knowledge Representation, Artificial Intelligence, FOS: Mathematics, Bisimulation, Satisfiability, Databases (cs.DB), Expressive power, Discrete mathematics, Computer science, Logic in Computer Science (cs.LO), Computational complexity theory, Algorithm, Artificial Intelligence (cs.AI), Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Time complexity, Computer Science, Physical Sciences, Tree (set theory), EXPTIME, Intersection (aeronautics), Semantic Web and Ontology Development, Mathematics, Formal Methods in Software Verification and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2304.10381

An Original Approach for Translating Grafcet into C/Unix Code for Validation Purposes

Συγγραφείς: Nacéra Benaouda, A. Benaouda

Πηγή: Engineering, Technology & Applied Science Research. 12:9697-9702

Θεματικοί όροι: 0209 industrial biotechnology, Modeling and Control of Petri Nets in Systems, FOS: Mechanical engineering, Set (abstract data type), 02 engineering and technology, Unix, Model Checking, Automation, Engineering, 0202 electrical engineering, electronic engineering, information engineering, Key (lock), Code (set theory), 4. Education, Real-Time Scheduling in Embedded Systems, Computer science, Mechanical engineering, Programming language, Subroutine, Operating system, Computational Theory and Mathematics, Hardware and Architecture, Computer Science, Physical Sciences, Code generation, Software, Formal Methods in Software Verification and Control

Diagnosability Verification in Labeled Petri Nets Using a Twin Model

Συγγραφείς: Shaopeng Hu, Yihui Hu, Sharefa Murad, Mohamed Sharaf, Zhiwu Li

Θεματικοί όροι: Modeling and Control of Petri Nets in Systems, Petri net, Computer science, 7. Clean energy, Industrial and Manufacturing Engineering, Programming language, Petri dish, Engineering, Theoretical computer science, Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Genetics, Design and Operation of Reconfigurable Manufacturing Systems, Biology, Formal Methods in Software Verification and Control

Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Συγγραφείς: Montecchi, Leonardo, Lollini, Paolo, Bondavalli, Andrea

Πηγή: IEEE Transactions on Reliability

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Networks and Communications, Concurrency Modeling, Modeling and Control of Petri Nets in Systems, Computer Science - Formal Languages and Automata Theory, Reliability theory, 02 engineering and technology, Reliability engineering, Model Checking, Engineering, Failure rate, Model-driven Performance Prediction, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Stochastic modelling, Diagnosability Analysis, Statistics, Computer science, Stochastic process, Logic in Computer Science (cs.LO), Satisfiability Modulo Theories, Computational Theory and Mathematics, Log Analysis and System Performance Diagnosis, Model-based evaluation, parametric models, reuse, stochastic activity networks, SAN, templates, Computer Science, Physical Sciences, Mathematics, Formal Methods in Software Verification and Control

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

Σύνδεσμος πρόσβασης: https://ieeexplore.ieee.org/ielx7/24/4378406/09640229.pdf
http://arxiv.org/abs/2006.09291
https://ieeexplore.ieee.org/document/9640229
https://hdl.handle.net/2158/1251556
https://doi.org/10.1109/TR.2021.3120979

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Συγγραφείς: Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Πηγή: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Logic, Linear logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Quantum mechanics, computer science - logic in computer science, Simply typed lambda calculus, Theoretical computer science, Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Encoding (memory), Lambda calculus, Nonmonotonic Reasoning, BC1-199, Determinism, Typed lambda calculus, Physics, FOS: Clinical medicine, Pi calculus, QA75.5-76.95, Church encoding, Computer science, Logic in Computer Science (cs.LO), Programming language, Algorithm, Aerospace engineering, Computational Theory and Mathematics, Constraint Logic Programming, Electronic computers. Computer science, Dentistry, Computer Science, Physical Sciences, Medicine, Program Analysis and Verification Techniques, Correctness, Intersection (aeronautics), Calculus (dental), Dependent type, Mathematics, Formal Methods in Software Verification and Control

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

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2104.14759
https://doaj.org/article/0117e6998a2f401aa9443b06066087df
https://research.rug.nl/en/publications/003e40cb-8b76-467b-90ed-e62a0ab7570f
https://hdl.handle.net/11370/003e40cb-8b76-467b-90ed-e62a0ab7570f
https://doi.org/10.46298/lmcs-19(4:1)2023

Switching controller synthesis for delay hybrid systems under perturbations

Συγγραφείς: Ye Bai, Tao Gan, Jiao Li, Bican Xia, Xue Bai, Naijun Zhan

Πηγή: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. :1-11

Θεματικοί όροι: Automaton, Hybrid automaton, Artificial intelligence, 0209 industrial biotechnology, Modeling and Control of Petri Nets in Systems, Automata Theory and Formal Languages, Control (management), Systems and Control (eess.SY), Synchronizing Automata, 02 engineering and technology, Electrical Engineering and Systems Science - Systems and Control, Model Checking, Theoretical computer science, Engineering, State (computer science), Machine learning, FOS: Electrical engineering, electronic engineering, information engineering, Control theory (sociology), Biology, Controller (irrigation), Hybrid Systems, Discrete-Event Systems, Computer science, Agronomy, Algorithm, Hybrid system, Aerospace engineering, Computational Theory and Mathematics, Computer Science, Physical Sciences, Computation, Differential (mechanical device), Formal Methods in Software Verification and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/2103.11565
http://arxiv.org/abs/2103.11565
https://dl.acm.org/doi/pdf/10.1145/3447928.3456657
https://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-11565
https://arxiv.org/abs/2103.11565
https://arxiv.org/pdf/2103.11565

Session-based concurrency, declaratively

Συγγραφείς: Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda

Πηγή: Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w

Θεματικοί όροι: Artificial intelligence, Computer Networks and Communications, Session types, Geometry, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Theoretical computer science, Artificial Intelligence, Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Constraint (computer-aided design), Encoding (memory), Theory of computation, CC-PI, 4. Education, Expressiveness, 16. Peace & justice, Linear Logic, Computer science, Session (web analytics), Programming language, Algorithm, World Wide Web, Computational Theory and Mathematics, Computer Science, Physical Sciences, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Correctness, Distributed Fault Tolerance and Consistency in Systems, Mathematics, Formal Methods in Software Verification and Control

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

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://research.rug.nl/en/publications/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://hdl.handle.net/11370/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://doi.org/10.1007/s00236-021-00395-w
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A30714
https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://link.springer.com/article/10.1007/s00236-021-00395-w
https://curis.ku.dk/ws/files/297603582/Session_based_concurrency_declaratively.pdf

Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems

Συγγραφείς: Denis S. Loubach, Ricardo Bonna, George Ungureanu, Ingo Sander, Ingemar Soderquist

Πηγή: IEEE Access, Vol 9, Pp 156337-156360 (2021)

Θεματικοί όροι: Executable, Embedded systems, Dynamic Reconfiguration, System-Level Design, Epistemology, 02 engineering and technology, Control reconfiguration, Mathematical analysis, models of computation (MoC), Synchronization (alternating current), Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Psychology, Embedded system, Computer network, runtime reconfiguration, Model of computation, Domain (mathematical analysis), domain ontology, Real-Time Scheduling in Embedded Systems, Platform-Based Design, mapping rules, Semantics (computer science), Reconfigurable Computing Systems and Design Methods, Computer science, Generality, Distributed computing, TK1-9971, Programming language, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Hardware and Architecture, Channel (broadcasting), Computer Science, Physical Sciences, Computation, Reconfigurable Computing, Psychotherapist, Electrical engineering. Electronics. Nuclear engineering, Embedded Systems, Abstraction, Mathematics, Formal Methods in Software Verification and Control

Σύνδεσμος πρόσβασης: https://ieeexplore.ieee.org/ielx7/6287639/6514899/09623547.pdf
https://doaj.org/article/1dc98ae3125043eca4bfa6298eb7b69c
http://xplorestaging.ieee.org/ielx7/6287639/6514899/09623547.pdf?arnumber=9623547

Towards Refinable Choreographies

Συγγραφείς: Ugo de'Liguoro, Hernán Melgratti, Emilio Tuosto

Πηγή: Journal of Logic and Algebraic Methods in Programming

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Choreography, Refinement, Typing, Computer Science - Software Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, D.1.3, D.2.4, D.3.1, F.3.1, 16. Peace & justice, Computer science, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computational Theory and Mathematics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Formal Methods in Software Verification and Control

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

Σύνδεσμος πρόσβασης: https://arxiv.org/pdf/2009.07991
http://arxiv.org/abs/2009.07991
https://arxiv.org/abs/2009.07991
https://ui.adsabs.harvard.edu/abs/2020arXiv200907991D/abstract
https://arxiv.org/pdf/2009.07991.pdf
https://hdl.handle.net/2318/1863825
https://doi.org/10.1016/j.jlamp.2022.100776
http://arxiv.org/abs/2009.07991v1
https://doi.org/10.4204/EPTCS.324.6
https://hdl.handle.net/2318/1759629

Second-Order Finite Automata

Συγγραφείς: Alexsander A. de Melo, Mateus de Oliveira Oliveira

Πηγή: Lecture Notes in Computer Science ISBN: 9783030500252
Theory of Computing Systems

Θεματικοί όροι: FOS: Computer and information sciences, Combinatorics on Words, Automaton, Formal Languages and Automata Theory (cs.FL), Automata Theory and Formal Languages, Deterministic automaton, Computer Science - Formal Languages and Automata Theory, Synchronizing Automata, Decidability, 0102 computer and information sciences, 02 engineering and technology, Computational Complexity (cs.CC), Mathematical analysis, 01 natural sciences, Binary decision diagram, Theoretical computer science, Engineering, Artificial Intelligence, Quantum finite automata, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Nondeterministic finite automaton, Active Learning in Machine Learning Research, Automata theory, Finite-state machine, Discrete mathematics, Computer science, Algorithm, Computer Science - Computational Complexity, Parameterized complexity, Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Time complexity, Computer Science, Physical Sciences, Deterministic finite automaton, Nondeterministic algorithm, Finite set, Intersection (aeronautics), Mathematics, Formal Methods in Software Verification and Control

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

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/2108.12751
http://arxiv.org/abs/2108.12751
https://arxiv.org/pdf/2108.12751
https://rd.springer.com/chapter/10.1007/978-3-030-50026-9_4
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-12751
https://arxiv.org/abs/2108.12751
https://link.springer.com/chapter/10.1007/978-3-030-50026-9_4
https://doi.org/10.1007/978-3-030-50026-9_4
https://hdl.handle.net/11250/3059255

Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets

Συγγραφείς: Maximiliano Cristiá, Catherine Dubois

Συνεισφορές: Demange, Delphine

Θεματικοί όροι: FOS: Computer and information sciences, Composite material, Computer Networks and Communications, Mathematical proof, Distributed Constraint Optimization Problems and Algorithms, Geometry, Stochastic programming, Langages applicatifs, Set (abstract data type), [INFO] Computer Science [cs], Mathematical analysis, Computer Science - Software Engineering, Range (aeronautics), Theoretical computer science, Artificial Intelligence, Temporal Reasoning, FOS: Mathematics, Genetics, Constraint programming, Constraint (computer-aided design), Variable (mathematics), Biology, EVENT B, Mathematical optimization, Integer programming, Computer science, Materials science, Programming language, Software Engineering (cs.SE), Algorithm, Computational Theory and Mathematics, Implementation, FOS: Biological sciences, Computer Science, Physical Sciences, Integer (computer science), Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control, Sequence (biology)

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

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2307.03974

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format

Συγγραφείς: Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa

Πηγή: Lecture Notes in Computer Science ISBN: 9783031308222

Θεματικοί όροι: Mathematical proof, Usability, Runtime Verification, Geometry, Model Checking, 12. Responsible consumption, Safety Verification, Theoretical computer science, Artificial Intelligence, Automated theorem proving, FOS: Mathematics, HOL, Proof assistant, Language-based Information Flow Security, Gas meter prover, Computer science, Programming language, Operating system, Computational Theory and Mathematics, Automated proof checking, Computer Science, Physical Sciences, Proof complexity, Program Analysis and Verification Techniques, Correctness, Mathematics, Formal Methods in Software Verification and Control

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics

Συγγραφείς: Carlos Areces, Valentín Cassano, Raul Fervari, Laurent Joubert

Πηγή: Lecture Notes in Computer Science ISBN: 9783031435126

Θεματικοί όροι: Multimodal logic, Quantum mechanics, Description Logics, Database, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Default logic, Polymer chemistry, Nonmonotonic Reasoning, Modal logic, Physics, Transistor, Scalability, Accessibility relation, Autoepistemic logic, Voltage, Propositional calculus, Computer science, Programming language, Description logic, Algorithm, Chemistry, Computational Theory and Mathematics, Constraint Logic Programming, Computer Science, Physical Sciences, Normal modal logic, Dynamic logic (digital electronics), Program Analysis and Verification Techniques, Correctness, Modal, Modal Logics, Formal Methods in Software Verification and Control

Local Search for Solving Satisfiability of Polynomial Formulas

Συγγραφείς: Haokun Li, Bican Xia, Tingting Zhao

Πηγή: Lecture Notes in Computer Science ISBN: 9783031377020

Θεματικοί όροι: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Symbolic Computing in Algebraic Geometry and Cryptography, Symbolic Computation (cs.SC), Polynomial, Mathematical analysis, Quantum mechanics, Artificial Intelligence, FOS: Mathematics, Satisfiability, Variable (mathematics), Local search (optimization), Jump, Quantifier elimination, Physics, Polynomial Systems, Discrete mathematics, Logic in Computer Science (cs.LO), Algorithm, Satisfiability Modulo Theories, Computational Theory and Mathematics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2303.09072

Automated Tail Bound Analysis for Probabilistic Recurrence Relations

Συγγραφείς: Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Πηγή: Lecture Notes in Computer Science ISBN: 9783031377082

Θεματικοί όροι: FOS: Computer and information sciences, Artificial intelligence, Regular Expressions, Automata Theory and Formal Languages, Runtime Verification, Computer science, Algorithm, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Probabilistic Systems, Temporal Logic, Constraint Logic Programming, Computer Science - Data Structures and Algorithms, Computer Science, Physical Sciences, Data Structures and Algorithms (cs.DS), Formal Methods in Software Verification and Control, Probabilistic logic

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2305.15104