Suchergebnisse - "Model Checking Algorithm"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 24th European Conference on Artificial Intelligence
https://hal.archives-ouvertes.fr/hal-03005853
24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela, Spain. pp.624--631, ⟨10.3233/FAIA200147⟩Schlagwörter: alternating vector addition system (AVASS), bounded number of resources, model-checking, one resource, resource-bounded concurrent game structure, alternating-time temporal logic ATL, alternating-time temporal logic ATL+, resource, translation, model-checking algorithm, 2EXPTIME, complexity, vector addition system (VAS), [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Geographisches Schlagwort: Santiago de Compostela, Spain
Relation: hal-03005853; https://hal.archives-ouvertes.fr/hal-03005853; https://hal.archives-ouvertes.fr/hal-03005853/document; https://hal.archives-ouvertes.fr/hal-03005853/file/BD-ECAI2020.pdf
-
2
Autoren:
Quelle: Science of Computer Programming. 153:1-29
Schlagwörter: Actor model, Durational transition graph, Model checking, TCTL, Timed Rebeca, Computational complexity, Interactive computer systems, Modeling languages, Polynomial approximation, Real time systems, Semantics, Actor models, Model checking algorithm, Polynomial-time algorithms, Reduction techniques, Timed transition systems, Transition graphs
Dateibeschreibung: print
-
3
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 123:19-33
Schlagwörter: π-calculus, Symbolic Transition Graph, 0202 electrical engineering, electronic engineering, information engineering, π-μ-logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Model Checking Algorithm, Theoretical Computer Science, Computer Science(all)
Zugangs-URL: https://dblp.uni-trier.de/db/journals/entcs/entcs123.html#ChenHL05
https://core.ac.uk/display/82618529
https://www.sciencedirect.com/science/article/abs/pii/S1571066105000459
https://www.cs.ox.ac.uk/people/taolue.chen/pub-papers/Wollic04.pdf
http://www.eis.mdx.ac.uk/staffpages/taoluechen/pub-papers/Wollic04.pdf
https://cyberleninka.org/article/n/7276 -
4
Autoren: Henrik Reif Andersen
Quelle: Lecture Notes in Computer Science ISBN: 9783540552536
Schlagwörter: modal \(\mu\)-calculus, Analysis of algorithms and problem complexity, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Graph theory (including graph drawing) in computer science, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, marking of a Boolean graph, model checking algorithm, Modal logic (including the logic of norms), satisfaction problem, Computer Science(all)
Dateibeschreibung: application/xml
Zugangs-URL: https://link.springer.com/content/pdf/10.1007%2F3-540-55253-7_1.pdf
https://dblp.uni-trier.de/db/journals/tcs/tcs126.html#Andersen94
https://www.sciencedirect.com/science/article/pii/0304397594902666
https://core.ac.uk/display/82568716
https://dblp.uni-trier.de/db/conf/esop/esop92.html#Andersen92
https://link.springer.com/chapter/10.1007/3-540-55253-7_1
https://link.springer.com/content/pdf/10.1007%2F3-540-55253-7_1.pdf
https://doi.org/10.1007/3-540-55253-7_1
https://rd.springer.com/chapter/10.1007/3-540-55253-7_1
https://link.springer.com/10.1007/3-540-55253-7_1 -
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Temporal logic Interval temporal logic, Knowledge representation, System verifications, Model checker, Model checking algorithm, Model checking problem, Point-based, Model Checking, Interval Temporal Logics, Computational Complexity, Model checking Interval Temporal Logic Computational Complexity
Dateibeschreibung: application/pdf
-
6
Autoren: Kwang Mong Sim
Quelle: International Journal of Intelligent Systems. 15:811-848
Schlagwörter: intelligent agents, Knowledge representation, implicit belief, decidability, explicit belief, Logics of knowledge and belief (including belief change), multivalued epistemic logic, model-checking algorithm
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/1517022
https://doi.org/10.1002/1098-111x(200009)15:9<811::aid-int1>3.0.co;2-b
https://dblp.uni-trier.de/db/journals/ijis/ijis15.html#Sim00 -
7
Autoren: et al.
Quelle: Information and Computation. 98:142-170
Schlagwörter: FOS: Computer and information sciences, Specification and verification (program logics, model checking, etc.), observational equivalence, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, 02 engineering and technology, propositional linear temporal logic, 01 natural sciences, Theoretical Computer Science, Computer Science Applications, mu-calculus, Computational Theory and Mathematics, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), binary decision diagrams, computation tree logic, symbolic representation, 0202 electrical engineering, electronic engineering, information engineering, 89999 Information and Computing Sciences not elsewhere classified, model checking algorithm, finite-state systems, Information Systems
Dateibeschreibung: application/xml
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Semantic Model, Datatypes, Model checking, Performability evaluation, Input/output automata, Random processes, Model checking algorithm, Stochastic logic, Description languages, Reliability, Specification languages, Semantics, Architectural models, Markovian, Application examples, CR-B.1.3, Arches
Dateibeschreibung: application/pdf
-
9
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783540569398
Schlagwörter: context-free process, Specification and verification (program logics, model checking, etc.), local model checking algorithm, Theorem proving (deduction, resolution, etc.)
Dateibeschreibung: application/xml
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Knowledge representation, Temporal logic Interval temporal logic, Model checker, Model checking algorithm, Model checking problem, Point-based, System verifications
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000492378700047; ispartofbook:Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016; 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016; firstpage:473; lastpage:482; numberofpages:10; alleditors:Delgrande J.,Baral C.,Wolter F.; http://hdl.handle.net/11588/669741
Verfügbarkeit: http://hdl.handle.net/11588/669741
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 9th International Conference on Concurrency Theory, CONCUR 1998
Lect. Notes Comput. Sci.Schlagwörter: Probabilistic analysis, Model checking, Interactive computer systems, Algebra, Probability of failure, Probabilistic variant, Real-time process algebra, Real time systems, Model checking algorithm, Hennessy-Milner Logics, Specifications, Probabilistic constraints, Probabilistic extension
Zugangs-URL: http://gnosis.library.ucy.ac.cy/handle/7/54838
-
12
Autoren:
Quelle: 30th Annual Symposium on Foundations of Computer Science. :164-169
Schlagwörter: Logic in computer science, Specification and verification (program logics, model checking, etc.), real-time systems, temporal logic, tableau-based decision procedure, 0202 electrical engineering, electronic engineering, information engineering, freeze quantifier, 0102 computer and information sciences, 02 engineering and technology, model-checking algorithm, 01 natural sciences
Dateibeschreibung: application/xml
-
13
Autoren: et al.
-
14
Autoren: Kozura, V. E.
Schlagwörter: LTL semantics, Specification and verification (program logics, model checking, etc.), net unfolding, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, colored Petri nets, model-checking algorithm
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/1822435
-
15
Schlagwörter: Formal logic, Inverse problems, Model checking, Specification languages, Specifications, Design notations, Inverse operators, Method of modeling, Modal models, Model checking algorithm, Property specification language, Prototype tools, Software system designs, Computer circuits
Relation: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_08186843_v_n_p150_Areces; https://hdl.handle.net/20.500.12110/paper_08186843_v_n_p150_Areces
Nájsť tento článok vo Web of Science 
Full Text Finder