Krook, Jonas; Malik, Robi; Mohajerani, Sahar; Fabian, Martin Robust stutter bisimulation for abstraction and controller synthesis with disturbance. (English) Zbl 07803873 Automatica 160, Article ID 111394, 8 p. (2024). MSC: 93B50 93C73 93B70 93C83 PDFBibTeX XMLCite \textit{J. Krook} et al., Automatica 160, Article ID 111394, 8 p. (2024; Zbl 07803873) Full Text: DOI arXiv
Wei, Zeming; Zhang, Xiyue; Zhang, Yihao; Sun, Meng Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. (English) Zbl 07803170 J. Log. Algebr. Methods Program. 136, Article ID 100907, 18 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{Z. Wei} et al., J. Log. Algebr. Methods Program. 136, Article ID 100907, 18 p. (2024; Zbl 07803170) Full Text: DOI arXiv
Sutton, Richard S.; Machado, Marlos C.; Holland, G. Zacharias; Szepesvari, David; Timbers, Finbarr; Tanner, Brian; White, Adam Reward-respecting subtasks for model-based reinforcement learning. (English) Zbl 07766486 Artif. Intell. 324, Article ID 104001, 17 p. (2023). MSC: 68T07 PDFBibTeX XMLCite \textit{R. S. Sutton} et al., Artif. Intell. 324, Article ID 104001, 17 p. (2023; Zbl 07766486) Full Text: DOI arXiv
Cairoli, Francesca; Anselmi, Fabio; d’Onofrio, Alberto; Bortolussi, Luca Generative abstraction of Markov population processes. (English) Zbl 07751511 Theor. Comput. Sci. 977, Article ID 114169, 22 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Cairoli} et al., Theor. Comput. Sci. 977, Article ID 114169, 22 p. (2023; Zbl 07751511) Full Text: DOI
Cima, Gianluca; Poggi, Antonella; Lenzerini, Maurizio The notion of abstraction in ontology-based data management. (English) Zbl 07745372 Artif. Intell. 323, Article ID 103976, 38 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{G. Cima} et al., Artif. Intell. 323, Article ID 103976, 38 p. (2023; Zbl 07745372) Full Text: DOI
Petersen, Uwe Dialetheias and numbers distinct from themselves. (English) Zbl 07720265 Notre Dame J. Formal Logic 64, No. 2, 239-246 (2023). MSC: 03B53 03B16 03E70 PDFBibTeX XMLCite \textit{U. Petersen}, Notre Dame J. Formal Logic 64, No. 2, 239--246 (2023; Zbl 07720265) Full Text: DOI
Klev, Ansten Spiritus asper versus lambda: on the nature of functional abstraction. (English) Zbl 07720263 Notre Dame J. Formal Logic 64, No. 2, 205-223 (2023). MSC: 03A05 00A30 03B40 03B38 PDFBibTeX XMLCite \textit{A. Klev}, Notre Dame J. Formal Logic 64, No. 2, 205--223 (2023; Zbl 07720263) Full Text: DOI
Awan, Asad Ullah; Zamani, Majid Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach. (English) Zbl 1527.93422 Syst. Control Lett. 175, Article ID 105512, 11 p. (2023). Reviewer: Kai Wang (Bengbu) MSC: 93E03 93C30 93B70 93B11 PDFBibTeX XMLCite \textit{A. U. Awan} and \textit{M. Zamani}, Syst. Control Lett. 175, Article ID 105512, 11 p. (2023; Zbl 1527.93422) Full Text: DOI arXiv
Roanes-Lozano, Eugenio Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems. (English) Zbl 07700013 Math. Comput. Sci. 17, No. 1, Paper No. 1, 11 p. (2023). MSC: 68W30 97P40 97P70 68N15 PDFBibTeX XMLCite \textit{E. Roanes-Lozano}, Math. Comput. Sci. 17, No. 1, Paper No. 1, 11 p. (2023; Zbl 07700013) Full Text: DOI
Sereni, Andrea; Fogliani, Maria Paola Sforza; Zanetti, Luca For better and for worse. Abstractionism, good company, and pluralism. (English) Zbl 1518.00012 Rev. Symb. Log. 16, No. 1, 268-297 (2023). Reviewer: Matteo Bianchetti (Notre Dame) MSC: 00A30 03A05 PDFBibTeX XMLCite \textit{A. Sereni} et al., Rev. Symb. Log. 16, No. 1, 268--297 (2023; Zbl 1518.00012) Full Text: DOI
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations. (English) Zbl 1505.93257 Automatica 147, Article ID 110696, 16 p. (2023). MSC: 93E03 93C55 93B50 68Q45 91A15 PDFBibTeX XMLCite \textit{B. Zhong} et al., Automatica 147, Article ID 110696, 16 p. (2023; Zbl 1505.93257) Full Text: DOI arXiv
Jeppu, Natasha Yogananda; Melham, Tom; Kroening, Daniel Enhancing active model learning with equivalence checking using simulation relations. (English) Zbl 07815088 Form. Methods Syst. Des. 61, No. 2-3, 164-197 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{N. Y. Jeppu} et al., Form. Methods Syst. Des. 61, No. 2--3, 164--197 (2022; Zbl 07815088) Full Text: DOI OA License
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Roveri, Marco; Tonetta, Stefano Verification Modulo theories. (English) Zbl 07757158 Form. Methods Syst. Des. 60, No. 3, 452-481 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Cimatti} et al., Form. Methods Syst. Des. 60, No. 3, 452--481 (2022; Zbl 07757158) Full Text: DOI OA License
Garcia, B. M.; Umansky, M. V.; Watkins, J.; Guterl, J.; Izacard, O. INGRID: an interactive grid generator for 2D edge plasma modeling. (English) Zbl 1511.76084 Comput. Phys. Commun. 275, Article ID 108316, 18 p. (2022). MSC: 76M99 76X05 65M50 PDFBibTeX XMLCite \textit{B. M. Garcia} et al., Comput. Phys. Commun. 275, Article ID 108316, 18 p. (2022; Zbl 1511.76084) Full Text: DOI arXiv
Bumford, Dylan Composition under distributive natural transformations: or, when predicate abstraction is impossible. (English) Zbl 1515.03136 J. Logic Lang. Inf. 31, No. 3, 287-307 (2022). MSC: 03B65 03B40 PDFBibTeX XMLCite \textit{D. Bumford}, J. Logic Lang. Inf. 31, No. 3, 287--307 (2022; Zbl 1515.03136) Full Text: DOI
Petersen, Uwe Enhancing induction in a contraction free logic with unrestricted abstraction: from \(\mathbf{Z}\) to \(\mathbf{Z}_2\). (English) Zbl 07603656 Arch. Math. Logic 61, No. 7-8, 1007-1051 (2022). MSC: 03B15 03B47 03F52 PDFBibTeX XMLCite \textit{U. Petersen}, Arch. Math. Logic 61, No. 7--8, 1007--1051 (2022; Zbl 07603656) Full Text: DOI
Adlešić, Tin; Čačić, Vedran A modern rigorous approach to stratification in NF/NFU. (English) Zbl 07603236 Log. Univers. 16, No. 3, 451-468 (2022). MSC: 03E20 03-02 03-08 PDFBibTeX XMLCite \textit{T. Adlešić} and \textit{V. Čačić}, Log. Univers. 16, No. 3, 451--468 (2022; Zbl 07603236) Full Text: DOI
Yu, Pian; Dimarogonas, Dimos V. Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface. (English) Zbl 1498.93381 Automatica 145, Article ID 110520, 9 p. (2022). MSC: 93C41 93C10 93D99 PDFBibTeX XMLCite \textit{P. Yu} and \textit{D. V. Dimarogonas}, Automatica 145, Article ID 110520, 9 p. (2022; Zbl 1498.93381) Full Text: DOI arXiv
Vandendriessche, Eric The concrete numbers of “primitive” societies: a historiographical approach. (English. French summary) Zbl 1497.01033 Hist. Math. 59, 12-34 (2022). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 01A85 01A07 01A11 01A12 01A55 PDFBibTeX XMLCite \textit{E. Vandendriessche}, Hist. Math. 59, 12--34 (2022; Zbl 1497.01033) Full Text: DOI
Vilela, Juliana; Hill, Richard Hierarchical planning in a supervisory control context with compositional abstraction. (English) Zbl 1486.93004 Discrete Event Dyn. Syst. 32, No. 1, 89-113 (2022). MSC: 93A13 93C85 PDFBibTeX XMLCite \textit{J. Vilela} and \textit{R. Hill}, Discrete Event Dyn. Syst. 32, No. 1, 89--113 (2022; Zbl 1486.93004) Full Text: DOI
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1483.68226 Theor. Comput. Sci. 913, 8-42 (2022). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{A. Durier} et al., Theor. Comput. Sci. 913, 8--42 (2022; Zbl 1483.68226) Full Text: DOI HAL
Kroer, Christian; Peysakhovich, Alexander; Sodomka, Eric; Stier-Moses, Nicolas E. Computing large market equilibria using abstractions. (English) Zbl 1484.91264 Oper. Res. 70, No. 1, 329-351 (2022). MSC: 91B52 PDFBibTeX XMLCite \textit{C. Kroer} et al., Oper. Res. 70, No. 1, 329--351 (2022; Zbl 1484.91264) Full Text: DOI arXiv
Wang, Yanjing; Wei, Yu; Seligman, Jeremy Quantifier-free epistemic term-modal logic with assignment operator. (English) Zbl 07458667 Ann. Pure Appl. Logic 173, No. 3, Article ID 103071, 41 p. (2022). MSC: 03B10 03B42 03B45 03B70 PDFBibTeX XMLCite \textit{Y. Wang} et al., Ann. Pure Appl. Logic 173, No. 3, Article ID 103071, 41 p. (2022; Zbl 07458667) Full Text: DOI
Bäckström, Christer; Jonsson, Peter A framework for analysing state-abstraction methods. (English) Zbl 1486.68175 Artif. Intell. 302, Article ID 103608, 39 p. (2022). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Bäckström} and \textit{P. Jonsson}, Artif. Intell. 302, Article ID 103608, 39 p. (2022; Zbl 1486.68175) Full Text: DOI
Barany, Michael J. Abstract relations: bibliography and the infra-structures of modern mathematics. (English) Zbl 07795119 Synthese 198, Suppl. 26, S6277-S6290 (2021). MSC: 01A60 PDFBibTeX XMLCite \textit{M. J. Barany}, Synthese 198, S6277--S6290 (2021; Zbl 07795119) Full Text: DOI
Salmón, Nathan A paradox about sets of properties. (English) Zbl 1528.03061 Synthese 199, No. 5-6, 12777-12793 (2021). MSC: 03A05 03B38 PDFBibTeX XMLCite \textit{N. Salmón}, Synthese 199, No. 5--6, 12777--12793 (2021; Zbl 1528.03061) Full Text: DOI
Zanetti, Luca Grounding and auto-abstraction. (English) Zbl 1525.03045 Synthese 198, No. 11, 10187-10205 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{L. Zanetti}, Synthese 198, No. 11, 10187--10205 (2021; Zbl 1525.03045) Full Text: DOI
Hale, Bob Essence and definition by abstraction. (English) Zbl 1507.03019 Synthese 198, Suppl. 8, S2001-S2017 (2021). MSC: 03A05 PDFBibTeX XMLCite \textit{B. Hale}, Synthese 198, S2001--S2017 (2021; Zbl 1507.03019) Full Text: DOI
Sterling, Jonathan; Harper, Robert Logical relations as types: proof-relevant parametricity for program modules. (English) Zbl 1499.68069 J. ACM 68, No. 6, Paper No. 41, 47 p. (2021). MSC: 68N30 03B70 18B25 68Q55 68Q65 PDFBibTeX XMLCite \textit{J. Sterling} and \textit{R. Harper}, J. ACM 68, No. 6, Paper No. 41, 47 p. (2021; Zbl 1499.68069) Full Text: DOI arXiv
Murawski, Andrzej S.; Tzevelekos, Nikos Game semantics for interface middleweight Java. (English) Zbl 1499.68064 J. ACM 68, No. 1, Paper No. 4, 51 p. (2021). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{A. S. Murawski} and \textit{N. Tzevelekos}, J. ACM 68, No. 1, Paper No. 4, 51 p. (2021; Zbl 1499.68064) Full Text: DOI
Ebels-Duggan, Sean C. Deductive cardinality results and nuisance-like principles. (English) Zbl 1508.03037 Rev. Symb. Log. 14, No. 3, 592-623 (2021). MSC: 03B16 03A05 PDFBibTeX XMLCite \textit{S. C. Ebels-Duggan}, Rev. Symb. Log. 14, No. 3, 592--623 (2021; Zbl 1508.03037) Full Text: DOI
Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations. (English) Zbl 1478.93665 Nonlinear Anal., Hybrid Syst. 39, Article ID 100991, 15 p. (2021). MSC: 93E03 90C40 93C10 PDFBibTeX XMLCite \textit{A. Lavaei} et al., Nonlinear Anal., Hybrid Syst. 39, Article ID 100991, 15 p. (2021; Zbl 1478.93665) Full Text: DOI arXiv
Repin, Denis; Petrov, Tatjana Automated deep abstractions for stochastic chemical reaction networks. (English) Zbl 1518.68341 Inf. Comput. 281, Article ID 104788, 20 p. (2021). MSC: 68T07 92C42 PDFBibTeX XMLCite \textit{D. Repin} and \textit{T. Petrov}, Inf. Comput. 281, Article ID 104788, 20 p. (2021; Zbl 1518.68341) Full Text: DOI arXiv
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. (English) Zbl 1478.93187 Automatica 130, Article ID 109723, 10 p. (2021). MSC: 93B50 03B44 PDFBibTeX XMLCite \textit{S. Mohajerani} et al., Automatica 130, Article ID 109723, 10 p. (2021; Zbl 1478.93187) Full Text: DOI
Krasanakis, Emmanouil; Symeonidis, Andreas Defining behaviorizeable relations to enable inference in semi-automatic program synthesis. (English) Zbl 1528.68081 J. Log. Algebr. Methods Program. 123, Article ID 100714, 29 p. (2021). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{E. Krasanakis} and \textit{A. Symeonidis}, J. Log. Algebr. Methods Program. 123, Article ID 100714, 29 p. (2021; Zbl 1528.68081) Full Text: DOI
Saribatur, Zeynep G.; Eiter, Thomas; Schüller, Peter Abstraction for non-ground answer set programs. (English) Zbl 1520.68023 Artif. Intell. 300, Article ID 103563, 72 p. (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} et al., Artif. Intell. 300, Article ID 103563, 72 p. (2021; Zbl 1520.68023) Full Text: DOI
Fitzgerald, Tesca; Goel, Ashok; Thomaz, Andrea Abstraction in data-sparse task transfer. (English) Zbl 1520.68197 Artif. Intell. 300, Article ID 103551, 14 p. (2021). MSC: 68T40 68T05 68T30 PDFBibTeX XMLCite \textit{T. Fitzgerald} et al., Artif. Intell. 300, Article ID 103551, 14 p. (2021; Zbl 1520.68197) Full Text: DOI
Allart, Emilie; Niehren, Joachim; Versari, Cristian Computing difference abstractions of linear equation systems. (English) Zbl 1518.92070 Theor. Comput. Sci. 893, 72-104 (2021). MSC: 92C42 92C40 92C45 PDFBibTeX XMLCite \textit{E. Allart} et al., Theor. Comput. Sci. 893, 72--104 (2021; Zbl 1518.92070) Full Text: DOI HAL
Ellerman, David On abstraction in mathematics and indefiniteness in quantum mechanics. (English) Zbl 07413738 J. Philos. Log. 50, No. 4, 813-835 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{D. Ellerman}, J. Philos. Log. 50, No. 4, 813--835 (2021; Zbl 07413738) Full Text: DOI Link
Imbs, Damien; Mostéfaoui, Achour; Perrin, Matthieu; Raynal, Michel Set-constrained delivery broadcast: a communication abstraction for read/write implementable distributed objects. (English) Zbl 1514.68014 Theor. Comput. Sci. 886, 49-68 (2021). MSC: 68M14 68M12 68M15 PDFBibTeX XMLCite \textit{D. Imbs} et al., Theor. Comput. Sci. 886, 49--68 (2021; Zbl 1514.68014) Full Text: DOI arXiv HAL
Leach-Krouse, Graham Coalgebra and abstraction. (English) Zbl 1470.18002 Notre Dame J. Formal Logic 62, No. 1, 33-66 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A15 03E30 00A30 03A05 03E70 16T15 18A30 PDFBibTeX XMLCite \textit{G. Leach-Krouse}, Notre Dame J. Formal Logic 62, No. 1, 33--66 (2021; Zbl 1470.18002) Full Text: DOI
Saribatur, Zeynep G.; Eiter, Thomas Omission-based abstraction for answer set programs. (English) Zbl 1472.68029 Theory Pract. Log. Program. 21, No. 2, 145-195 (2021); erratum ibid. 21, No. 2, 292 (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Theory Pract. Log. Program. 21, No. 2, 145--195 (2021; Zbl 1472.68029) Full Text: DOI arXiv
van Glabbeek, Rob Failure trace semantics for a process algebra with time-outs. (English) Zbl 07350777 Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. van Glabbeek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021; Zbl 07350777) Full Text: arXiv Link
Wen, Tangliu; Peng, Jie; Xue, Jinyun; You, Zhen; Song, Lan Strict linearizability and abstract atomicity. (English) Zbl 1458.68135 Int. J. Found. Comput. Sci. 32, No. 1, 1-35 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Wen} et al., Int. J. Found. Comput. Sci. 32, No. 1, 1--35 (2021; Zbl 1458.68135) Full Text: DOI
Nejati, Ameneh; Soudjani, Sadegh; Zamani, Majid Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. (English) Zbl 1455.93190 Eur. J. Control 57, 82-94 (2021). MSC: 93E03 93C30 93C55 93C10 PDFBibTeX XMLCite \textit{A. Nejati} et al., Eur. J. Control 57, 82--94 (2021; Zbl 1455.93190) Full Text: DOI Link
Pauw, Sylvia Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning. (English) Zbl 1506.00023 Synthese 197, No. 11, 4927-4945 (2020). MSC: 00A30 03A05 01A45 01A50 PDFBibTeX XMLCite \textit{S. Pauw}, Synthese 197, No. 11, 4927--4945 (2020; Zbl 1506.00023) Full Text: DOI
Tvardovskii, A. S.; Evtushenko, N. V. Deriving homing sequences for finite state machines with timed guards. (Russian. English summary) Zbl 1513.68022 Model. Anal. Inf. Sist. 27, No. 4, 376-395 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. S. Tvardovskii} and \textit{N. V. Evtushenko}, Model. Anal. Inf. Sist. 27, No. 4, 376--395 (2020; Zbl 1513.68022) Full Text: DOI MNR
Smith, Yvette Kaiser Seeing numbers abstractly. (English) Zbl 1462.00069 J. Math. Arts 14, No. 1-2, 134-137 (2020). MSC: 00A66 PDFBibTeX XMLCite \textit{Y. K. Smith}, J. Math. Arts 14, No. 1--2, 134--137 (2020; Zbl 1462.00069) Full Text: DOI
Corio, Paul The use of geometry in my work. (English) Zbl 1462.00040 J. Math. Arts 14, No. 1-2, 28-30 (2020). MSC: 00A66 PDFBibTeX XMLCite \textit{P. Corio}, J. Math. Arts 14, No. 1--2, 28--30 (2020; Zbl 1462.00040) Full Text: DOI
Gainer, Paul; Linker, Sven; Dixon, Clare; Hustadt, Ullrich; Fisher, Michael Multi-scale verification of distributed synchronisation. (English) Zbl 1506.68009 Form. Methods Syst. Des. 55, No. 3, 171-221 (2020). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Gainer} et al., Form. Methods Syst. Des. 55, No. 3, 171--221 (2020; Zbl 1506.68009) Full Text: DOI arXiv
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer Synthesizing precise and useful commutativity conditions. (English) Zbl 1468.68079 J. Autom. Reasoning 64, No. 7, 1333-1359 (2020). MSC: 68P05 68V15 PDFBibTeX XMLCite \textit{K. Bansal} et al., J. Autom. Reasoning 64, No. 7, 1333--1359 (2020; Zbl 1468.68079) Full Text: DOI
Hajdu, Ákos; Micskei, Zoltán Efficient strategies for CEGAR-based model checking. (English) Zbl 1468.68131 J. Autom. Reasoning 64, No. 6, 1051-1091 (2020). MSC: 68Q60 68V15 PDFBibTeX XMLCite \textit{Á. Hajdu} and \textit{Z. Micskei}, J. Autom. Reasoning 64, No. 6, 1051--1091 (2020; Zbl 1468.68131) Full Text: DOI
Dimovski, Aleksandar S.; Legay, Axel; Wasowski, Andrzej Generalized abstraction-refinement for game-based CTL lifted model checking. (English) Zbl 1460.68058 Theor. Comput. Sci. 837, 181-206 (2020). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. S. Dimovski} et al., Theor. Comput. Sci. 837, 181--206 (2020; Zbl 1460.68058) Full Text: DOI
Gürlebeck, Klaus; Legatiuk, Dmitrii; Nilsson, Henrik; Smarsly, Kay Conceptual modelling: towards detecting modelling errors in engineering applications. (English) Zbl 1445.00009 Math. Methods Appl. Sci. 43, No. 3, 1243-1252 (2020). MSC: 00A71 68N18 68Q55 68Q60 PDFBibTeX XMLCite \textit{K. Gürlebeck} et al., Math. Methods Appl. Sci. 43, No. 3, 1243--1252 (2020; Zbl 1445.00009) Full Text: DOI
García Soto, Miriam; Prabhakar, Pavithra Abstraction based verification of stability of polyhedral switched systems. (English) Zbl 1441.93225 Nonlinear Anal., Hybrid Syst. 36, Article ID 100856, 16 p. (2020). MSC: 93D20 93D05 93C30 PDFBibTeX XMLCite \textit{M. García Soto} and \textit{P. Prabhakar}, Nonlinear Anal., Hybrid Syst. 36, Article ID 100856, 16 p. (2020; Zbl 1441.93225) Full Text: DOI
Bohlender, Dimitri; Kowalewski, Stefan Leveraging Horn clause solving for compositional verification of PLC software. (English) Zbl 1435.68190 Discrete Event Dyn. Syst. 30, No. 1, 1-24 (2020). MSC: 68Q60 68N30 68Q55 93C85 PDFBibTeX XMLCite \textit{D. Bohlender} and \textit{S. Kowalewski}, Discrete Event Dyn. Syst. 30, No. 1, 1--24 (2020; Zbl 1435.68190) Full Text: DOI
Dal Lago, Ugo; Gavazzo, Francesco; Tanaka, Ryo Effectful applicative similarity for call-by-name lambda calculi. (English) Zbl 1476.68052 Theor. Comput. Sci. 813, 234-247 (2020). Reviewer: Danko Ilik (Paris) MSC: 68N18 PDFBibTeX XMLCite \textit{U. Dal Lago} et al., Theor. Comput. Sci. 813, 234--247 (2020; Zbl 1476.68052) Full Text: DOI HAL
Ren, Wei; Dimarogonas, Dimos V. Symbolic abstractions for nonlinear control systems via feedback refinement relation. (English) Zbl 1441.93091 Automatica 114, Article ID 108828, 9 p. (2020). MSC: 93B52 93B50 93C43 93C10 PDFBibTeX XMLCite \textit{W. Ren} and \textit{D. V. Dimarogonas}, Automatica 114, Article ID 108828, 9 p. (2020; Zbl 1441.93091) Full Text: DOI arXiv
Fletcher, Samuel C. On representational capacities, with an application to general relativity. (English) Zbl 1436.83007 Found. Phys. 50, No. 4, 228-249 (2020). MSC: 83C05 83E05 00A30 PDFBibTeX XMLCite \textit{S. C. Fletcher}, Found. Phys. 50, No. 4, 228--249 (2020; Zbl 1436.83007) Full Text: DOI Link
Čermák, Jiří; Lisý, Viliam; Bošanský, Branislav Automated construction of bounded-loss imperfect-recall abstractions in extensive-form games. (English) Zbl 1435.91026 Artif. Intell. 282, Article ID 103248, 36 p. (2020). MSC: 91A18 91A90 PDFBibTeX XMLCite \textit{J. Čermák} et al., Artif. Intell. 282, Article ID 103248, 36 p. (2020; Zbl 1435.91026) Full Text: DOI arXiv
Yavuz, Tuba Partial predicate abstraction and counter-example guided refinement. (English) Zbl 1494.68177 J. Log. Algebr. Methods Program. 110, Article ID 100437, 17 p. (2020). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{T. Yavuz}, J. Log. Algebr. Methods Program. 110, Article ID 100437, 17 p. (2020; Zbl 1494.68177) Full Text: DOI arXiv
Tan, Xiao; Berkane, Soulaimane; Dimarogonas, Dimos V. Constrained attitude maneuvers on \(SO(3)\): rotation space sampling, planning and low-level control. (English) Zbl 1430.93151 Automatica 112, Article ID 108659, 9 p. (2020). MSC: 93C85 93B35 PDFBibTeX XMLCite \textit{X. Tan} et al., Automatica 112, Article ID 108659, 9 p. (2020; Zbl 1430.93151) Full Text: DOI
Gilboa, Nava; Kidron, Ivy; Dreyfus, Tommy Constructing a mathematical definition: the case of the tangent. (English) Zbl 1475.97001 Int. J. Math. Educ. Sci. Technol. 50, No. 3, 421-446 (2019). MSC: 97E40 97G60 PDFBibTeX XMLCite \textit{N. Gilboa} et al., Int. J. Math. Educ. Sci. Technol. 50, No. 3, 421--446 (2019; Zbl 1475.97001) Full Text: DOI
Liu, Chuang Infinite idealization and contextual realism. (English) Zbl 1474.80007 Synthese 196, No. 5, 1885-1918 (2019). MSC: 80A22 82B05 03A10 PDFBibTeX XMLCite \textit{C. Liu}, Synthese 196, No. 5, 1885--1918 (2019; Zbl 1474.80007) Full Text: DOI
Mutluergil, Suha Orhun; Tasiran, Serdar A mechanized refinement proof of the Chase-Lev deque using a proof system. (English) Zbl 1458.68276 Computing 101, No. 1, 59-74 (2019). MSC: 68W10 68P05 68Q60 68V15 PDFBibTeX XMLCite \textit{S. O. Mutluergil} and \textit{S. Tasiran}, Computing 101, No. 1, 59--74 (2019; Zbl 1458.68276) Full Text: DOI
Pollard, Stephen Logic in the land of make-believe. (English) Zbl 1458.03010 Log. Log. Philos. 28, No. 4, 661-681 (2019). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Pollard}, Log. Log. Philos. 28, No. 4, 661--681 (2019; Zbl 1458.03010) Full Text: DOI
Zhao, Yecheng; Zeng, Haibo The concept of maximal unschedulable deadline assignment for optimization in fixed-priority scheduled real-time systems. (English) Zbl 1436.68076 Real-Time Syst. 55, No. 3, 667-707 (2019). MSC: 68M20 PDFBibTeX XMLCite \textit{Y. Zhao} and \textit{H. Zeng}, Real-Time Syst. 55, No. 3, 667--707 (2019; Zbl 1436.68076) Full Text: DOI
Newton, M. A. Hakim; Riahi, Vahid; Sattar, Abdul Makespan preserving flowshop reengineering via blocking constraints. (English) Zbl 1458.90336 Comput. Oper. Res. 112, Article ID 104755, 11 p. (2019). MSC: 90B35 PDFBibTeX XMLCite \textit{M. A. H. Newton} et al., Comput. Oper. Res. 112, Article ID 104755, 11 p. (2019; Zbl 1458.90336) Full Text: DOI
Kobayashi, Tsutomu; Ishikawa, Fuyuki; Honiden, Shinichi Consistency-preserving refactoring of refinement structures in Event-B models. (English) Zbl 1425.68075 Formal Asp. Comput. 31, No. 3, 287-320 (2019). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{T. Kobayashi} et al., Formal Asp. Comput. 31, No. 3, 287--320 (2019; Zbl 1425.68075) Full Text: DOI
Ebels-Duggan, Sean C. Abstraction principles and the classification of second-order equivalence relations. (English) Zbl 07060309 Notre Dame J. Formal Logic 60, No. 1, 77-117 (2019). MSC: 03A05 03B16 PDFBibTeX XMLCite \textit{S. C. Ebels-Duggan}, Notre Dame J. Formal Logic 60, No. 1, 77--117 (2019; Zbl 07060309) Full Text: DOI arXiv Euclid
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian Formal reliability analysis of redundancy architectures. (English) Zbl 1425.68039 Formal Asp. Comput. 31, No. 1, 59-94 (2019). MSC: 68M15 PDFBibTeX XMLCite \textit{M. Bozzano} et al., Formal Asp. Comput. 31, No. 1, 59--94 (2019; Zbl 1425.68039) Full Text: DOI
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob A higher-order calculus of computational fields. (English) Zbl 1407.68326 ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Audrito} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019; Zbl 1407.68326) Full Text: DOI arXiv
Purushothaman Nair, Piyoosh; Biswas, Santosh; Sarkar, Arnab Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system. (English) Zbl 1482.93389 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 49, No. 8, 1760-1783 (2018). MSC: 93C65 PDFBibTeX XMLCite \textit{P. Purushothaman Nair} et al., Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 49, No. 8, 1760--1783 (2018; Zbl 1482.93389) Full Text: DOI
Julliand, J.; Kouchnarenko, O.; Masson, P. A.; Voiron, G. Test generation from event system abstractions to cover their states and transitions. (English. Russian original) Zbl 1455.68104 Program. Comput. Softw. 44, No. 1, 1-14 (2018); translation from Programmirovanie 44, No. 1, 3-20 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Julliand} et al., Program. Comput. Softw. 44, No. 1, 1--14 (2018; Zbl 1455.68104); translation from Programmirovanie 44, No. 1, 3--20 (2018) Full Text: DOI
Núñez, Rafael Mathematical practice: reflections on the cognition that makes it possible. (Spanish. English summary) Zbl 1427.00025 Theoria, Segunda Epoca 33, No. 2, 271-283 (2018). MSC: 00A35 00A30 97C30 PDFBibTeX XMLCite \textit{R. Núñez}, Theoria, Segunda Epoca 33, No. 2, 271--283 (2018; Zbl 1427.00025) Full Text: DOI
Hinnion, Roland Pure term models for modal, intensional set theory. (English) Zbl 1436.03268 Log. Anal., Nouv. Sér. 61, No. 244, 513-520 (2018). MSC: 03E70 03B45 03C30 PDFBibTeX XMLCite \textit{R. Hinnion}, Log. Anal., Nouv. Sér. 61, No. 244, 513--520 (2018; Zbl 1436.03268) Full Text: DOI
Mizoguchi, Masashi; Ushio, Toshimitsu Deadlock-free output feedback controller design based on approximately abstracted observers. (English) Zbl 1408.93062 Nonlinear Anal., Hybrid Syst. 30, 58-71 (2018). MSC: 93B52 93B50 93A30 93B07 PDFBibTeX XMLCite \textit{M. Mizoguchi} and \textit{T. Ushio}, Nonlinear Anal., Hybrid Syst. 30, 58--71 (2018; Zbl 1408.93062) Full Text: DOI
Čermák, Jiří; Bošanský, Branislav; Horák, Karel; Lisý, Viliam; Pěchouček, Michal Approximating maxmin strategies in imperfect recall games using A-loss recall property. (English) Zbl 1457.91063 Int. J. Approx. Reasoning 93, 290-326 (2018). MSC: 91A18 91A05 PDFBibTeX XMLCite \textit{J. Čermák} et al., Int. J. Approx. Reasoning 93, 290--326 (2018; Zbl 1457.91063) Full Text: DOI
Teijeiro, T.; Félix, P. On the adoption of abductive reasoning for time series interpretation. (English) Zbl 1451.68266 Artif. Intell. 262, 163-188 (2018). MSC: 68T27 03B44 PDFBibTeX XMLCite \textit{T. Teijeiro} and \textit{P. Félix}, Artif. Intell. 262, 163--188 (2018; Zbl 1451.68266) Full Text: DOI arXiv
Avni, Guy; Guha, Shibashis; Kupferman, Orna An abstraction-refinement methodology for reasoning about network games. (English) Zbl 1418.91097 Games 9, No. 3, Paper No. 39, 21 p. (2018). MSC: 91A43 05C57 68Q45 PDFBibTeX XMLCite \textit{G. Avni} et al., Games 9, No. 3, Paper No. 39, 21 p. (2018; Zbl 1418.91097) Full Text: DOI
Ehrhard, Thomas; Pagani, Michele; Tasson, Christine Full abstraction for probabilistic PCF. (English) Zbl 1426.68035 J. ACM 65, No. 4, Article No. 23, 44 p. (2018). MSC: 68N18 68N15 68Q55 PDFBibTeX XMLCite \textit{T. Ehrhard} et al., J. ACM 65, No. 4, Article No. 23, 44 p. (2018; Zbl 1426.68035) Full Text: DOI arXiv
Le, Duong; Plaku, Erion Cooperative, dynamics-based, and abstraction-guided multi-robot motion planning. (English) Zbl 1451.68285 J. Artif. Intell. Res. (JAIR) 63, 361-390 (2018). MSC: 68T40 68T42 PDFBibTeX XMLCite \textit{D. Le} and \textit{E. Plaku}, J. Artif. Intell. Res. (JAIR) 63, 361--390 (2018; Zbl 1451.68285) Full Text: DOI
Matt, Christian; Maurer, Ueli; Portmann, Christopher; Renner, Renato; Tackmann, Björn Toward an algebraic theory of systems. (English) Zbl 1400.68136 Theor. Comput. Sci. 747, 1-25 (2018). MSC: 68Q85 93B25 PDFBibTeX XMLCite \textit{C. Matt} et al., Theor. Comput. Sci. 747, 1--25 (2018; Zbl 1400.68136) Full Text: DOI arXiv
Clark, Adam Thomas; Neuhauser, Claudia Harnessing uncertainty to approximate mechanistic models of interspecific interactions. (English) Zbl 1405.92280 Theor. Popul. Biol. 123, 35-44 (2018). MSC: 92D40 92D25 PDFBibTeX XMLCite \textit{A. T. Clark} and \textit{C. Neuhauser}, Theor. Popul. Biol. 123, 35--44 (2018; Zbl 1405.92280) Full Text: DOI
Chen, Hao; Wu, Xiongnan; Shao, Zhong; Lockerman, Joshua; Gu, Ronghui Toward compositional verification of interruptible OS kernels and device drivers. (English) Zbl 1451.68170 J. Autom. Reasoning 61, No. 1-4, 141-189 (2018). MSC: 68Q60 68N25 68V15 PDFBibTeX XMLCite \textit{H. Chen} et al., J. Autom. Reasoning 61, No. 1--4, 141--189 (2018; Zbl 1451.68170) Full Text: DOI
Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin Behavioural and abstractor specifications revisited. (English) Zbl 1396.68073 Theor. Comput. Sci. 741, 32-43 (2018). MSC: 68Q65 68Q85 PDFBibTeX XMLCite \textit{R. Hennicker} et al., Theor. Comput. Sci. 741, 32--43 (2018; Zbl 1396.68073) Full Text: DOI
Murawski, Andrzej S.; Tzevelekos, Nikos Algorithmic games for full ground references. (English) Zbl 1392.68147 Form. Methods Syst. Des. 52, No. 3, 277-314 (2018). MSC: 68N30 68N15 68Q45 68Q55 PDFBibTeX XMLCite \textit{A. S. Murawski} and \textit{N. Tzevelekos}, Form. Methods Syst. Des. 52, No. 3, 277--314 (2018; Zbl 1392.68147) Full Text: DOI
Á. Torralba, Álvaro; López, Carlos Linares; Borrajo, Daniel Symbolic perimeter abstraction heuristics for cost-optimal planning. (English) Zbl 1445.68199 Artif. Intell. 259, 1-31 (2018). MSC: 68T20 68Q60 PDFBibTeX XMLCite \textit{Á. Á. Torralba} et al., Artif. Intell. 259, 1--31 (2018; Zbl 1445.68199) Full Text: DOI
Megawati, Noorma Yulia; van der Schaft, Arjan Bisimulation equivalence of differential-algebraic systems. (English) Zbl 1390.93223 Int. J. Control 91, No. 1, 45-56 (2018); erratum ibid. 91, No. 1, i (2018). MSC: 93B27 93B25 93C15 PDFBibTeX XMLCite \textit{N. Y. Megawati} and \textit{A. van der Schaft}, Int. J. Control 91, No. 1, 45--56 (2018; Zbl 1390.93223) Full Text: DOI arXiv
Polyvyanyy, Artem; Sürmeli, Jan; Weidlich, Matthias Interleaving isotactics – an equivalence notion on behaviour abstractions. (English) Zbl 1395.68125 Theor. Comput. Sci. 737, 1-18 (2018). MSC: 68Q05 68Q85 PDFBibTeX XMLCite \textit{A. Polyvyanyy} et al., Theor. Comput. Sci. 737, 1--18 (2018; Zbl 1395.68125) Full Text: DOI Link
Hanson, William H. Actualism, serious actualism, and quantified modal logic. (English) Zbl 1403.03031 Notre Dame J. Formal Logic 59, No. 2, 233-284 (2018). Reviewer: David Makinson (London) MSC: 03B45 03B60 PDFBibTeX XMLCite \textit{W. H. Hanson}, Notre Dame J. Formal Logic 59, No. 2, 233--284 (2018; Zbl 1403.03031) Full Text: DOI
Chatzieleftheriou, G.; Katsaros, P. Abstract model repair for probabilistic systems. (English) Zbl 1388.68185 Inf. Comput. 259, Part 1, 142-160 (2018). MSC: 68Q60 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{G. Chatzieleftheriou} and \textit{P. Katsaros}, Inf. Comput. 259, Part 1, 142--160 (2018; Zbl 1388.68185) Full Text: DOI
Cook, Roy T.; Linnebo, Øystein Cardinality and acceptable abstraction. (English) Zbl 1436.03029 Notre Dame J. Formal Logic 59, No. 1, 61-74 (2018). MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{R. T. Cook} and \textit{Ø. Linnebo}, Notre Dame J. Formal Logic 59, No. 1, 61--74 (2018; Zbl 1436.03029) Full Text: DOI Euclid Link
Beyer, Dirk; Dangl, Matthias; Wendler, Philipp A unifying view on SMT-based software verification. (English) Zbl 1426.68041 J. Autom. Reasoning 60, No. 3, 299-335 (2018); correction ibid. 65, No. 3, 461 (2021). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{D. Beyer} et al., J. Autom. Reasoning 60, No. 3, 299--335 (2018; Zbl 1426.68041) Full Text: DOI
Meyer, Pierre-Jean; Dimarogonas, Dimos V. Compositional abstraction refinement for control synthesis. (English) Zbl 1378.93048 Nonlinear Anal., Hybrid Syst. 27, 437-451 (2018). MSC: 93B50 93C15 93C10 93C30 PDFBibTeX XMLCite \textit{P.-J. Meyer} and \textit{D. V. Dimarogonas}, Nonlinear Anal., Hybrid Syst. 27, 437--451 (2018; Zbl 1378.93048) Full Text: DOI arXiv
Mostéfaoui, Achour; Moumen, Hamouma; Raynal, Michel Randomized \(k\)-set agreement in crash-prone and Byzantine asynchronous systems. (English) Zbl 1382.68032 Theor. Comput. Sci. 709, 80-97 (2018). MSC: 68M14 68M15 68W15 68W20 PDFBibTeX XMLCite \textit{A. Mostéfaoui} et al., Theor. Comput. Sci. 709, 80--97 (2018; Zbl 1382.68032) Full Text: DOI
Humphreys, Justin Abstraction and diagrammatic reasoning in Aristotle’s philosophy of geometry. (English) Zbl 1523.01005 Apeiron 50, No. 2, 197-224 (2017). Reviewer: Victor V. Pambuccian (Glendale) MSC: 01A20 PDFBibTeX XMLCite \textit{J. Humphreys}, Apeiron 50, No. 2, 197--224 (2017; Zbl 1523.01005) Full Text: DOI
Rathgeber, Florian; Ham, David A.; Mitchell, Lawrence; Lange, Michael; Luporini, Fabio; Mcrae, Andrew T. T.; Bercea, Gheorghe-Teodor; Markall, Graham R.; Kelly, Paul H. J. Firedrake, automating the finite element method by composing abstractions. (English) Zbl 1396.65144 ACM Trans. Math. Softw. 43, No. 3, Article No. 24, 27 p. (2017). MSC: 65M60 65N30 PDFBibTeX XMLCite \textit{F. Rathgeber} et al., ACM Trans. Math. Softw. 43, No. 3, Article No. 24, 27 p. (2017; Zbl 1396.65144) Full Text: DOI arXiv
Nitti, Davide; Belle, Vaishak; De Laet, Tinne; De Raedt, Luc Planning in hybrid relational MDPs. (English) Zbl 1457.68254 Mach. Learn. 106, No. 12, 1905-1932 (2017). MSC: 68T20 68N17 90C40 PDFBibTeX XMLCite \textit{D. Nitti} et al., Mach. Learn. 106, No. 12, 1905--1932 (2017; Zbl 1457.68254) Full Text: DOI
Doucet, Frederic; Kurshan, Robert A methodology to take credit for high-level verification during RTL verification. (English) Zbl 1386.68100 Form. Methods Syst. Des. 51, No. 2, 395-418 (2017). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Doucet} and \textit{R. Kurshan}, Form. Methods Syst. Des. 51, No. 2, 395--418 (2017; Zbl 1386.68100) Full Text: DOI