×

Found 3,596 Documents (Results 1–100)

100
MathJax

Social bot detection as a temporal logic model checking problem. (English) Zbl 07547767

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 158-173 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

On the expressive power of TeamLTL and first-order team logic over hyperproperties. (English) Zbl 07547748

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 302-318 (2021).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

A divide & conquer approach to conditional stable model checking. (English) Zbl 07500640

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 105-111 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability. (English) Zbl 07498001

Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 67-83 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Formal methods for robot motion planning with time and space constraints (extended abstract). (English) Zbl 07497997

Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 1-14 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. (English) Zbl 1473.68013

LIPIcs – Leibniz International Proceedings in Informatics 206. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-206-8). xiv, 17 articles, not consecutively paged, electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

A design of GPU-based quantitative model checking. (English) Zbl 1472.68091

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 441-463 (2021).
MSC:  68Q60 03B44 68N30
PDF BibTeX XML Cite
Full Text: DOI

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Model checking algorithms for hyperproperties (invited paper). (English) Zbl 1472.68088

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 3-16 (2021).
MSC:  68Q60 03B44 03D05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Back-propagation through signal temporal logic specifications: infusing logical structure into gradient-based methods. (English) Zbl 1469.68127

Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 432-449 (2021).
MSC:  68T40 03B44 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

On descriptional propositions in Ibn Sīnā: elements for a logical analysis. (English) Zbl 1473.03007

Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Multi-player equilibria verification for concurrent stochastic games. (English) Zbl 1483.68197

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 74-95 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Decoy allocation games on graphs with temporal logic objectives. (English) Zbl 1483.68044

Zhu, Quanyan (ed.) et al., Decision and game theory for security. 11th international conference, GameSec 2020, College Park, MD, USA, October 28–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12513, 168-187 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Sharp congruences adequate with temporal logics combining weak and strong modalities. (English) Zbl 1483.68233

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 57-76 (2020).
MSC:  68Q85 03B44 68Q60
PDF BibTeX XML Cite
Full Text: DOI

An approach to fuzzy modal logic of time intervals. (English) Zbl 1464.68349

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 696-703 (2020).
MSC:  68T27 03B44 03B52
PDF BibTeX XML Cite
Full Text: DOI

Reasoning with a bounded number of resources in ATL+. (English) Zbl 1464.68344

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 624-631 (2020).
MSC:  68T27 03B44 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Explicit negation in linear-dynamic equilibrium logic. (English) Zbl 1464.68334

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 569-576 (2020).
MSC:  68T27 03B44 68N17
PDF BibTeX XML Cite
Full Text: DOI

Dynamic epistemic logic games with epistemic temporal goals. (English) Zbl 1464.68367

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 155-162 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Embedding online runtime verification for fault disambiguation on Robonaut2. (English) Zbl 07317098

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 196-214 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI Link

Learning specifications for labelled patterns. (English) Zbl 07317091

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 76-93 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI HAL

Deep reinforcement learning with temporal logics. (English) Zbl 1455.68190

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 1-22 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Global PAC bounds for learning discrete time Markov chains. (English) Zbl 1478.68279

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 304-326 (2020).
MSC:  68T05 03B44 60J22
PDF BibTeX XML Cite
Full Text: DOI

Action-based model checking: logic, automata, and reduction. (English) Zbl 1478.68175

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 77-100 (2020).
MSC:  68Q60 03B44 68Q45
PDF BibTeX XML Cite
Full Text: DOI

AdamMC: a model checker for Petri nets with transits against Flow-LTL. (English) Zbl 1478.68156

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 64-76 (2020).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Realizing \(\omega\)-regular hyperproperties. (English) Zbl 1478.68157

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 40-63 (2020).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI arXiv

Falsification of cyber-physical systems with robustness-guided black-box checking. (English) Zbl 07300852

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 11, 13 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Interpretable classification of time-series data using efficient enumerative techniques. (English) Zbl 07300850

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 9, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software