المؤلفون: Bonte, Pieter, Calbimonte, Jean-Paul, de Leng, Daniel, 1988, Dell'Aglio, Daniele, Della Valle, Emanuele, Eiter, Thomas, Giannini, Federico, Heintz, Fredrik, 1975, Schekotihin, Konstantin, Le-Phuoc, Danh, Mileo, Alessandra, Schneider, Patrik, Tommasini, Riccardo, Urbani, Jacopo, Ziffer, Giacomo

المصدر: 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

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-203211Test
https://doi.org/10.4230/TGDK.2.1.2Test

المؤلفون: Verginis, Christos K., Kantaros, Yiannis, Dimarogonas, Dimos V.

المصدر: Robotics and Autonomous Systems. 174

مصطلحات موضوعية: Multi-robot systems, Temporal logics, Motion planning, Action planning, Adaptive control

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-526171Test
https://doi.org/10.1016/j.robot.2024.104646Test
https://uu.diva-portal.org/smash/get/diva2:1850409/FULLTEXT01.pdfTest

المؤلفون: Pek, Christian, Schuppe, Georg Friedrich, 1993, Esposito, Francesco, Tumova, Jana, Kragic, Danica, 1971

المصدر: 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-348211Test
https://doi.org/10.1007/s10514-023-10145-1Test

المؤلفون: Balbiani, Philippe, Gao, Han, Gencer, Cigdem, Olivetti, Nicola

المساهمون: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://amu.hal.science/hal-04457356Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1--21, ⟨10.4230/LIPIcs.CSL.2024.13⟩
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.13Test

مصطلحات موضوعية: Axiomatization, Completeness, Intuitionistic Modal Logic, Sequent Calculus, Modal and temporal logics, Proof theory, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Naples, Italy

العلاقة: hal-04457356; https://amu.hal.science/hal-04457356Test; https://amu.hal.science/hal-04457356/documentTest; https://amu.hal.science/hal-04457356/file/CSL_24_final_versionPROVVISORIA.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.13Test
https://amu.hal.science/hal-04457356Test
https://amu.hal.science/hal-04457356/documentTest
https://amu.hal.science/hal-04457356/file/CSL_24_final_versionPROVVISORIA.pdfTest

المؤلفون: Groote, Jan Friso, Huisman, Marieke

المصدر: Groote , J F & Huisman , M 2024 , ' Formal Methods for Industrial Critical Systems ' , International Journal on Software Tools for Technology Transfer , vol. 26 , no. 2 , pp. 127-129 . https://doi.org/10.1007/s10009-024-00744-3Test

مصطلحات موضوعية: Autonomous driving, Avionic software, Deductive verification, Interactive validation, Monotony analysis stochastic specifications, Real-time operating systems, Smart contracts, Spatio-temporal logics

وصف الملف: application/pdf

العلاقة: https://research.tue.nl/en/publications/8965da77-7556-4391-8b7a-b84e42e10fc6Test

الإتاحة: https://doi.org/10.1007/s10009-024-00744-3Test
https://research.tue.nl/en/publications/8965da77-7556-4391-8b7a-b84e42e10fc6Test
https://pure.tue.nl/ws/files/322453503/s10009-024-00744-3.pdfTest
http://www.scopus.com/inward/record.url?scp=85185293493&partnerID=8YFLogxKTest

المؤلفون: Calvanese, Diego, De Giacomo, Giuseppe, Montali, Marco, Patrizi, Fabio

المصدر: PMAI 2022. Process management in the AI era 2022 CEUR Workshop proceedings. :93-96

مصطلحات موضوعية: action theories, data-aware processes, first-order temporal logics, state-boundedness, verification

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-203574Test
https://ceur-ws.org/Vol-3310/paper16.pdfTest
https://ceur-ws.org/Vol-3310Test/
https://umu.diva-portal.org/smash/get/diva2:1728714/FULLTEXT01.pdfTest

المؤلفون: Verginis, Christos K., V. Dimarogonas, Dimos

المصدر: Annual Reviews in Control. 54:219-240

مصطلحات موضوعية: Multi-agent systems, Multi-agent navigation, Cooperative manipulation, Uncertain dynamics, Temporal-logics

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-489700Test
https://doi.org/10.1016/j.arcontrol.2022.09.004Test
https://uu.diva-portal.org/smash/get/diva2:1716554/FULLTEXT01.pdfTest

المؤلفون: Fotios C. Tolis, Panagiotis S. Trakas, Taxiarchis-Foivos Blounas, Christos K. Verginis, Charalampos P. Bechlioulis

المصدر: Robotics, Vol 13, Iss 5, p 65 (2024)

مصطلحات موضوعية: task and motion planning, constrained motion planning, collision avoidance, input constraints, temporal logics, robotics, Mechanical engineering and machinery, TJ1-1570

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/2218-6581/13/5/65Test; https://doaj.org/toc/2218-6581Test

الوصول الحر: https://doaj.org/article/2f35d410aa184aad86e64f0cb493426cTest

المؤلفون: Chen, Fei

المساهمون: Dimarogonas, Dimos V., Tumova, Jana, Cao, Ming, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: multi-agent systems, leader-follower networks, transient constraints, temporal logics, Electrical Engineering, Elektro- och systemteknik

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-325614Test
https://kth.diva-portal.org/smash/get/diva2:1749393/FULLTEXT01.pdfTest

المؤلفون: Tomović, Siniša, Ognjanović, Zoran, Doder, Dragan

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Probabilistic reasoning, Reasoning about belief and knowledge, Modal and temporal logics

الوصول الحر: http://arxiv.org/abs/1901.06886Test